- Moved the type filter to the right of the search box in the Manual window
- Fixed the Manual window's search bar tab order
- Made selecting text within the Manual window easier
- The API and Mods windows are now minimizable
- Servers are now additionally sorted by date to avoid naming conflicts