README.org: Better document a few bugs or suggestions.
extradoc.py: New file.
REAMDE.org: Adjusted.