manpage: options: various fixes