This takes a moment, once a week. It keeps scrapers from taking the docs down.
This check needs JavaScript. Tools that cannot run it are welcome to identify themselves in their user-agent instead.