The text dc7d83f9c15c, as Debian 7 (Wheezy) shipped it. The page shows this text now.
RIO device identifier
struct_rio_device_id(9) on Linux now
