It is criminal that on a service called #Lemmy there wasn’t a community for #Lemmings. Then I noticed a server called lemmings.world and, obviously, had to create said community on that server.
@lemmings@lemmings.world
I usually find searching for the URL and then searching for the community name works best on Lemmy. On Kbin searching for the address with the @ normally works first time - and clicking on the ! version ought to work too.
https://en.wikipedia.org/wiki/Pingus
Pingus is an open-source Lemmings clone that was made a while back, if anyone hasn’t played Lemmings and wants to try a free Lemmings-style game.