Also, here are some non-TOSR system notes.

• Mike. I guess this is now outdated; TOSR strikes again...
• Li-Chung. The next victim?
• Mike's bridge notes.