The text a2099a4e4ebb, as Debian 10 (Buster) shipped it.
RDMA device configuration
rdma-dev(8) on Linux now
