These pages were expected to be redirected to MDN @MozDevNet but apparently only were so with uppercase HTML in the URL. Now fixed - thanks for the report!

Apr 23, 2019 · 9:28 AM UTC