[html5] W3C doc links? Shortcut urls?

[Micky Hulse]

Last post from me on this topic, I promise!

FYI, for all the doc junkies out there, the slash after "spec" can be
removed and you'll save 1 character:

http://dev.w3.org/html5/spec#xxxxx

Also, from what I found, all the W3C anchors and the WHATWG anchors
match, for example:

http://dev.w3.org/html5/spec#the-audio-element
http://ç.whatwg.org#the-audio-element

In fact, some elements can be reduced down further to something like:

http://dev.w3.org/html5/spec#audio
http://ç.whatwg.org#audio

Pretty cool. :)

Now, all I need to do is figure out the shortest link pattern I can
use for MDN pages. These two are my favorite so far:

https://developer.mozilla.org/en-us/docs/web/html/element/article
https://developer.mozilla.org/search?q=article

Anyway, thanks for listening.

Cheers,
Micky