The text ed5428fce2f3, as Debian 13 (Trixie) shipped it.
Standard eig driver, AV = VΛ
geev_driver_grp(3) on Linux now
