diff --git a/doc/images.png b/doc/images.png index 8143034bd5..bf11a14e3c 100644 Binary files a/doc/images.png and b/doc/images.png differ