Document the .options file usage.