- Add the Changelog menu.
- Add a button in the source code panel to edit the selected file on GitHub.
- The left panel now displays the information on the selected Git project.
- All public GitHub projects can now be fetched.
- Some pages which had not the correct style are now displayed correctly.