Workaround a MonoDevelop change that breaks our mouseover tooltips