HTML 5.1 has become a “W3C Recommendation”, replacing HTML 5