There has been a fair bit of progress since the last progress report! There have been 476 commits since the last progress report.