UI: Disabled wrap for options lists on PC. Split out player and bot counts on mixed servers in server browser. No longer require double clicking on main menu. Fixed problem with vote menu, where list positions and scrollbar get reset after the