Updating Mjolnir docset.

For future reference, is there anything I can do differently in a future PR like this one, that will make your job of merging it easier? e.g. should I also delete `Mjolnir.tgz.txt`, or anything?