@markus.mirz Yes to archiving also from my side.
Yes, from my side I think we can archive it, I do not have plans to work with it in the next future.
@mpau @jan.dinkelbach we received a message from the IT center due to inactivity. Should we archive the repo for now? It can be unarchived any time if someone wants to make new commits but our focus is on the Python version anyway.