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!