move doc/plugins.md content to doc/extensions.md, then remove