UI tweaks. Finding that the ScrollableRichTextBox sometimes yields OOM. Will have to look into that later.