ros-map-yaml2mrpt(1) on Linux

The text a948a663d0a7, as Debian 13 (Trixie) shipped it. The page shows this text now.

Convert a ROS map_server .yaml file into MRPT gridmaps