User blog comment:Rupert Giles/Global Navigation Update/@comment-25254248-20141204030115/@comment-5558012-20141204031952

Yes, that was nice. I'm not sure if they will include the MediaWiki page somehow into the new nav.