The text 5fec36d05da2, as Debian 10 (Buster) shipped it.
Navigation Bar
wml::des::navbar(3) on Linux now
