Fix minor details on all the code: remove unneeded code, remove duplicate strings, remove setting of UI widget properties that are default already (for example, setting scrollbar=1 on a menu, when the default is already 1).
Resulted in a very small (dozens of bytes) reduction in the binary size.