The text f713d8893821, as Debian 10 (Buster) shipped it.
Add identifiers to headers
Pandoc::Filter::HeaderIdentifiers(3pm) on Linux now
