Various formatting changes (caused by newly-written format checker contained temporarily in TestUnit)
Changes to popup menus
More formatting changes