One reason why having the HTML dump (as opposed to plain wikitext) would be very useful is because HTML has all templates expanded, while wikitext doesn't, and I don't know of any easy and standard method of expanding templates locally, without having to install a full MediaWiki stack.
Dec 8 2017
Oct 19 2017
Thanks so much, Rob. I followed the instructions, and it worked. You may delete the older key now.
Oct 18 2017
Thanks. I'm trying to log in as I used to from my old machine:
$ ssh firstname.lastname@example.org
but I get the (expected) error
"ssh: Could not resolve hostname stat1005.eqiad.wmnet: nodename nor servname provided, or not known".
Oct 11 2017
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDGd7k8tpFmG0m7qe1tD9M7QGQCioHi/kDuSlA8FpSRAsmDWcARisV1/29lpdHUCy4tJ0s3zaEcoGUjy3630El1Ch+dn+NiQSKBcW9fFZ0yhr4uEoOTcamou3L/tpr6ky0hzvX/BNmZTL9ZF2v3PUyb7jAmDs0/1rVSRJ0Egy3+tRR7TttKXdUArGda9/CznW7tQ1BWBIWQ3CeA9Um+uUckF0JFa/IKRdZ5LADrQ/w3wVqcN9WyXza30ITXYKQWkiJPnW+oU/j5r2huY8rTVjaKxTVFf8qVBJXPULUgdgGJqbAkJ34wAW200xij830pTPkh+P/b33/CtUeM+9k9sY0f west@malum