The text 80d67a89286d, as Debian 10 (Buster) shipped it.
server side rename files across filesystem boundaries
vfs_crossrename(8) on Linux now
