The text bef5e7467b38, as Debian 12 (Bookworm) shipped it.
Set the device (keyword) name
plsdev(3plplot) on Linux now
