Docs: Explain global vs. local plugins (fixes #1238)