[mhausenblas]

If it's in maintenance mode, suggest they archive* the repo so that it is super clear to everyone.

*) https://help.github.com/articles/archiving-a-github-reposito...