A backup of the Github repository has been made for preservation purposes.