@eht16 commented on this pull request.
On doc/images/build_menu_commands_dialog.png:
Mighty @b4n, that's it.
Screenshots are updated again and look a lot better now. The Gnome default screenshot tool adds a think transparent border around the images. I could remove it but actually I think it's nice because it gives the images some margin when embedded in the HTML document. What do you think?
And I'm happy to be confirmed not being crazy, at least in this matter :).