Man pages matching name alligator in section 1:

alligator.1.en

debian 13 / alligator