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

The text c1aed487c287, as Debian 2.0 (Hamm) shipped it.

Layout Space

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