Found a later version of the sources; it’s probably smarter to work from these.