External Tools, UI tweaks