Stronger repo names, saner option groups
- PR subtitle code cleanup
- Repo names will be slightly stronger and positioned at the start of the PR subtitle
- iOS cell height estimation, and appearance improvements
- Moved options relate to repo name display and filtering into the display section, slightly clarified their names