Michael:

Thanks for this. I've only had time to read through it once, but it appears to be very useful.

I certainly haven't seen any need for corrections, but I did smile when I noted that the list of "Definitions" starts out with a definition for "Definition".