wml::des::navbar(3) on Linux

The text 90df6ea44164, as Debian 2.2 (Potato) shipped it.

wml::des::navbar(3) on Linux now