The text 67f2e386bf3d, as Debian 9 (Stretch) shipped it.
PS/2 mouse style pointing device driver
psm(4freebsd) on Linux now
