Me playing with the HotCRP source code on my own.