[UI] More minor developer page tweaks
(cherry picked from commit a582c9db789d339b2143d77cf201794c03509c4d)