@b4n commented on this pull request.
On doc/images/build_menu_commands_dialog.png:
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?
LGTM