Heiya Jeroen, what about moving this to GitHub, too. Cheers
Topic on User talk:Jeroen De Dauw
Why? Someone needs to maintain it for it to make a difference. GitHub is esp more convenient for tests, CI and packagist, none of which this extension has at this point.
Probably I figured that having such extensions in one spot to work on is nicer. However, it is a very special interest extension which indeed also need a maintainer for this too. No worries since it still can happen in the future.