Anton's Quick takes

This is a special post for quick takes by Anton. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.