A hamburger menu would be a great way to organise user options such as:

• Local per-board theme selection
• Language selection
• Login button
• Logout button
• Link to admin/mod/janitor pages
• etc