Remove an obsolete (and incorrect) config
Merge remote-tracking branch 'upstream/master' into add-prelude-python-docs
Move docs, provide link in README.