Build 1223 no longer uses a custom font for tooltips. Instead, it uses the tooltip font from Desktop Properties. Unfortunately, the simple change broke bolding of the current parameter in tooltips with parameter info. Bolding is done differently with certain fonts, including the default Tahoma.