This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Keeping them in just for now makes sense to me, if we have a note to that effect somewhere.
I removed obsolete elements quite some time back