@@Der Martin

[Die Schreibweise aus Level 2 mit einem Doppelpunkt] bleibt gültig, bezeichnet aber eine Pseudoklasse, kein Pseudoelement.

Nein. Nicht, wenn der CSS-Parser folgende Regel intus hat: Interpretiere :after so, als stünde dort ::after.

Im von dir angeführten Abschnitt der Spec (Hervorhebung von mir):
“For compatibility with existing style sheets, user agents must also accept the previous one-colon notation for pseudo-elements introduced in CSS levels 1 and 2.”

LLAP 🖖