(options.py) documentation