Comment by gnud

Seems like the owner of the github repo claims copyright, though. Since they provide a license.