Man pages matching name coq-platform-comparison in section 1:

coq-platform-comparison.1.en

debian 13 / debian-coq-tools