Formatting note: all the links show up as red for me, which was distracting because for a while I didn't realize they were links and thought some meta point was going to be made by suggesting the color red.