HDC_UserUnmarshal(3w) on Linux

The text 1a7e03d0ef71, as Debian 5.0 (Lenny) shipped it.

HDC_UserUnmarshal(3w) on Linux now