Document previously-undocumented options

Skip options that have been deprecated.