Also, I forgot to tell: I found their Git repository, and that offers
the source files in a directory inside a compressed file.