rio_local_get_device_id(9) on Linux

The text 2e2ba55fcd0c, as Debian 9 (Stretch) shipped it. The page shows this text now.

Get the base/extended device id for a port