Feedback: corrections, additions, and comments are welcome!