UI

General User Interface improvements.

These are addons that improve the user interface in some way but don’t quite fit into other categories.