doc: update auto-generated files with options
doc: update german translations and user's guide