Document the options in the opts.def file