Sorry, ein Tool in der Richtung habe ich nicht gefunden. :-(
Was bleibt ist eine Abwägung: So weit ich weiß, gibt's keinen Browser, der IDs mit einer Ziffer am Anfang ignoriert (Mir fällt jedenfalls keiner ein; Mozilla könnte ein Kandidat sein, wenn man den richtigen <DOCTYPE> erwischt...). Von demher dürfte es eigentlich recht egal sein...
Mal forschen gehen; unbekanntes Neuland. Interessiert das jemanden? Quintessenz ist aus meiner Sicht:
Wenn Du zukunftssicher arbeiten willst, dann setze einfach einen Buchstaben vorneweg.
Dominik
als Antwort auf: [#19421]