Update extension.rst