There seems to be an additional inconsistency: If a menu item is specified as "<b> Foo </b>", the markup is stripped and the menu item displayed as 'Foo'. However, if a menu item is specified as "<span foreground=\"blue\"> Foo </span>" then the markup is *not* stripped, and the <span> tag is displayed as part of the label's text. This is clearly undesirable and should be fixed.
There seems to be an additional inconsistency: If a menu item is specified as "<b> Foo </b>", the markup is stripped and the menu item displayed as 'Foo'. However, if a menu item is specified as "<span foreground= \"blue\ "> Foo </span>" then the markup is *not* stripped, and the <span> tag is displayed as part of the label's text. This is clearly undesirable and should be fixed.