bson_append_timestamp(3) on Linux
The text ed6470ca25b1, as Debian 9 (Stretch) shipped it.
This function is not similar in functionality to bson_append_date_time(). Timestamp elements are different in that they include only second precision and an increment field.