extradoc.py: Add options -I and -X.
README.org: Adjusted.