It seems this document modifies the HTML Standard, e.g., the `getContext()` method. This should be defined there.