re #78 - bold for tools