The text ae476c053c1b, as Debian 10 (Buster) shipped it.
Virtual eXtensible LAN interface
if_vxlan(4freebsd) on Linux now