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

The text f49e28e951dd, as Debian 4.0 (Etch) shipped it.

Layout Space

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