Man pages matching name coral in section 6x:

coral.6x.en	debian 10 / xscreensaver-data-extra
coral.6x.en	debian 11 / xscreensaver-data-extra
coral.6x.en	debian 12 / xscreensaver-data-extra