Is this project still actively maintained?

[andreasabel]

Is this project still actively maintained?
If not, maybe this repository could be archived (read-only), so its status is clear.

[bitc]

I am not actively maintaining this repository.

I don't like the github archive feature. People are still welcome to open issues and pull requests (can't make any promises about my responsiveness though).