diff --git a/doc/images/plugins.pdf b/doc/images/plugins.pdf index 0cb44c02870..d9e33af79d3 100644 Binary files a/doc/images/plugins.pdf and b/doc/images/plugins.pdf differ