You don't know what they used internally. There are two commits on github which just dump the code from whatever they used for version control for the past two

You don't know what they used internally. There are two commits on github which just dump the code from whatever they used for version control for the past two years, and no further development will take place.