I like minifying my windows as much as possibly when playing 4/5 bots at a time and the navigation always gets in the way. I was thinking of (yet another) toggle-able option that minifies it, to a much smaller but still readable format, sort of like this:
http://i.imgur.com/MvL35uV.png
I know you don't want to clutter workshop settings too much, but it'd be really useful for multi bot users