devdocs.io is a dramatically faster alternative to MDN, with the same content.