This blog now has a notes stream — short things that don’t warrant a full post. It has its own RSS feed. This is the first one, mostly to prove the machinery works.