Docs: updated changelog after latest release
Cache: fixed call to `make_key()` when passing a dictionary
Requirements: fixed typo (thanks Jerome Leclanche)
Cleanup: removed unnecessary whitespace
Add fields for users' public properties

part of #172
User avatar: refactored layout for reuse

The markup now displays user's full name in the tooltip (if available).

Fixes #220.
Cleanup: removed dead CSS
Profile: moved detailed statistics to a separate page

This page is now only accessible by the user itself and administrators.

Fixes #211.
Scores: allowed retrieving all top scorers
Last action: be explicit in which context it's adjusted
Buttons: ensure button colors persist for anchors
Profile: display user properties and latest activity

This is a complete revamp of the public profile page which includes all
new public-facing properties and last activity status, as well as the
position in the language a user has contributed the most during the last
30 days.

Fixes #212.
Cleanup: moved navbar-related CSS into a separate file
Navbar: switch to `nav` tag
Cleanup: use `background-color` instead of `background`
Navbar: also highlight on focus
Profile: moved user navbar items to a drop-down

Fixes #214.
Dropdown: fixed stupid bug
Add a quick way to edit user's profile

before we create the final redesigned page
Fix public profile links placement