[19:09:37] <wikibugs>	 (03CR) 10Aklapper: "It would be great if the second line in the commit message explained the reason for this change, why you change <div> to <nav>. See https:" [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/414647 (https://phabricator.wikimedia.org/T143514) (owner: 10Gopavasanth)