GetThemeDefaults(3w) on Linux

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

GetThemeDefaults(3w) on Linux now