The text 57e9b5b2ebd9, as Debian 10 (Buster) shipped it.
PS/2 mouse style pointing device driver
psm(4freebsd) on Linux now
