More options documentation

Finish documenting options.ini.