The text c487906ccb3c, as Debian 13 (Trixie) shipped it. The page shows this text now.
VMware SVGA video driver
vmware(4) on Linux now
