Editing up to "Proof of Work"

I did some line-rewrapping as well. I hope that doesn't screw things up by making the diff unnecessarily complicated....