Proofreading of extensions.rst