Mono.Options doesn't use inline docs; it uses external docs. See [OptionSet.xml][1].

[1]: https://github.com/mono/mono/blob/master/mcs/class/Mono.Options/Documentation/en/Mono.Options/OptionSet.xml

You can use `make doc-update` from the `mcs/class/Mono.Options` directory to update the documentation stubs.