User blog comment:Rappy 4187/Technical Update: November 30, 2016/@comment-5441128-20161217164044

Completely unnecessary thing to change on the navigation bar.