user-doc: extract, added suggestion by Janos to have
the double dash instead of the long one