[UI] More minor developer page tweaks