The text 5a9ee2372d5d, as Debian 4.0 (Etch) shipped it.
display options from option files
my_print_defaults(1) on Linux now
