Do you know who are behind of https://gitlab.com/LibreGames ?
Yesterday, I teach to play to Jump'n Bump to my oldest son (he is 8 years old) and I saw the credits (the subtitles at the bottom the lobby area) and I see that the last maintainers are from this collective/group.
But I have been checking the web and the last change is 5 years ago.