The text 90bc3927df4e, as Debian 3.1 (Sarge) shipped it.
Set the device (keyword) name
plsdev(3plplot) on Linux now
