extensions edits of README, doc/extensions