The spec currently has a mix of references to HTML 5.0 and HTML 5.1. Now that HTML 5.1 is Technical Recommendation, it might be clearer to convert all term definitions to references to HTML 5.1, assuming there are no significant behavioral differences implied.