Archive of 2023-24 academic year. Created a branch and a tagged commit, since it is not currently clear what the long term archival strategy should be on GL or GH. Note: name changed from 2023-archive to 2023-archive-1 because conflicts arise when tags and branches have the same name.