options in the config file because:
* <arg> can only be used within <cmdsynopsis>.
* <cmdsynopsis> does not allow text outside <command> and <arg>.
* <arg> does not allow decorating elements like <literal> or <emphasis>.
This fixes#2803057.
Add shortcut entities for commonly used parameters (yes/no, size).
Remove Debian patch which is obsoleted by above changes.
mmdolze