Deutschland geht (T) online

Ich mußte mir dann noch mal dieses neue Wunderportal Deutschland.de anschauen. Fein, die verwenden PHP. So gefällt mir das. Ernüchternd allerdings die Suche:
Sie haben nach „php“ gesucht.
Meinten Sie vielleicht: HP Ph PGP
Schade eigentlich.