Published on 2018-05-04.
* Refactor navigation bar branding. (#802)