move to github or gitlab proper?
I guess this is just a personal preference thing, but in order to raise an issue here I had to create an account on https://forge.typ3.tech/
No doubt you weighed that decision carefully... but it'd make it a bit easier for community collaboration if it was on github, gitlab proper, etc.
Feel free to close this right away ;)