docs: More on extensiondev