I am currently not active as a result of depression (the reasons of which I know but will not elaborate on here). Activity will probably/hopefully return to pre-2024 levels at some point
activity has returned and is mostly on https://git.tudbut.de/tudbut now.