The text d753b710f4bd, as Debian 10 (Buster) shipped it.
Feed-forward system clock
ffclock(4freebsd) on Linux now
