Categories

Aims to make work with github a bit more comfortable by introducing new features

- Replace Issues navigation item with Assigned Issues
- Replace Marketplace with create pull request button
- Modify pull requests page: replace "Assigned" with "All", "Mentioned" with "Approved"
- Remove Marketplace link from the navigation bar
- Enable word-wrap for code
- Hide in-progress and draft pull requests