Moved to /docs/oto/the-verifier/.