Fix the upper bounds on wai/warp
Switch to the extras package
Switch entirely over to the Extra library
Switch to the extra library
More work turning brains into something real
Fix so emails are sent
Be a little less verbose unless --verbose is passed
Track authors going in
You only need to check the set forms a dag when you first get it
Make the server do the cross-client consistency check
Lots of Ord instances
Start to use the email notifications
Add more printing
The test sometimes works
Add a web GUI
More work on the website
Add timestamps and a better web UI