Man pages matching name plannerarena in section 1:

plannerarena.1.en	debian 11 / ompl-plannerarena
plannerarena.1.en	debian 12 / ompl-plannerarena