Z:gnu-man-db--332320-reset all options to their def/nl

alle opties op hun standaardwaarden terugzetten