This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Notably, it sticks to the ED CSS, instead of matching the one used in the draft.
This now gets replaced automatically.