Note that people should not directly run the knuthed workshop