Porting this from @ryan-williams's 12/12 status report so that we can start tracking our work accurately on GitHub!