The text d20b3e4d6e51, as Debian 12 (Bookworm) shipped it.
Introduction to the RTAPI API
intro(3rtapi) on Linux now
