cleanups: remove docs for deprecated plugins

Since the original PR is 'merged', it can't be reopened