@mjdominus @stecks @aperiodical that's some poor copy-editing by me, I'm afraid! I'll fix it