ah, so at least some copies of the code remains even on github.