Clarify licensing in HTML manual