Document setting option's default with a RT value

[ZoomRmc]

...using Option.get(otherwise) func on FLAGNAME_opt

PS: current docs on GH pages are outdated, FLAGNAME_opt were added more than a year ago, docs are from 2021-10-25.

[iffy]

Thanks for this! And thanks for the reminder on the docs. I'll rebuild them.