UI tweaking; --remove-unused-glyph is off by default