Frederick: thanks! As the main wiki page continues to expand we can start moving stuff out of there and putting it on other wiki pages, with links. For example we may someday have a wiki page "Chapter 1" or "Sketch 1" containing links to all discussions relevant to that. Luckily it's easy to do this in a step-by-step way as the need arises, while keeping some eye to consistency.

I'm saying "Chapter", e.g. in my lecture titles, while you're saying "Sketch". We may someday need to fight a duel to the death over that. Your convention is more cute but I'd need to rename a bunch of things to adhere to it.