The good thing about @sangwinc doing basically the same job as me in a different place is that every now and then he heckles me in GitHub issues github.com/numbas/Numbas/…