Doc fixes

I made some improvements to the documentation, especially WRT your checking "all errors are exceptions" 0d047306ccea98e.  Take them if you like.