Il sito w3.org aveva PR 9 o 10? Mi sembra di ricordare 9, da un po' di giorni è a 10.