html: update the WHATWG spec reference
fix url redirections