This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Section 4.15, Annotations, contains, "Implementations MAY define further annotations, ..." and "Implementations MUST NOT define annotations ..." Upper casing and underlining of MAY and MUST NOT appear only in the Conformance section. All other occurrences in the specification are plain text.
The same issue is found in section 2.5.5.7, Function Test.
Fixed.