0.9.31001

• Reduced registration agreement font size and set text wrapping to avoid horizontal scrolling
• Modified default values for various battle room settings (table view with team-based coloring)
• "Promote to Discord" button in battle rooms renamed to "Promote" and triggers the standard "!promote" command
  (it promotes to specific lobby channels and in MF rooms this triggers promotion to Discord as well)
• Battle room hides fix colors button if the players' color column is also hidden
• Modified server tab labels to be more compact
• Improved battle options tabs' labels