The text e80830b42a6f, as Debian 10 (Buster) shipped it.
bson_append_timestamp()
bson_append_timestamp(3) on Linux now