Fucking webmaster tools.

Apparently Google/Bing/Yandex check for these files periodically, so
whatever.