The attached patch corrects a number of items in the tips and tooltips:
The patch applies against the current tip (6319:5b981d82db02). It can also be applied to the GTK3V2MAIN branch if you either hand edit the patch and change "genhelp.json" to "tooltiptext.json" or enter "app/help/tooltiptext.json" when patch asks "File to patch:".
Anonymous