Man pages matching name praelector in section 1:

praelector.1.en	debian 10 / praelector
praelector.1.en	debian 11 / praelector
praelector.1.en	debian 12 / praelector