Man pages matching name animatetypes in section 7x:

AnimateTypes.7x.en

debian 13 / afterstep-data