This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
They are mentioned in the Element content categories section, but not in the element list above.
https://github.com/w3c/spork/pull/16
merged.