Tor address seems to be down (or changed)

This is not _strictly_ a client issue, but, nevertheless, since instructions to access keybase.io via Tor using the http://keybase5wmilwokqirssclfnsqrjdsi7jdir5wy7y7iu3tanwmtp6oid.onion address _are_ on the keybase client (non-GUI) manual page, I was just wondering — is that Onion address still operational?

As far as I can test it, it seems to have disappeared from the Onion-world :-(

Note that this address is still shown on the official webpage for keybase.io ...

Check the non-GUI client manual and the official keybase.io webpage for the listed onion address, then verify whether it is still operational. Done means the documentation consistently reflects the current status, either by retaining a working address or removing the outdated reference.

Written by the indexing model from the issue text.