The text da0ba93dca35, as Debian 10 (Buster) shipped it.
OpenLink Virtuoso Opensource Mail Interface
VIRT_MAIL(1) on Linux now