Add DevTools installation manual and menu item Add tooltip to clarify proxy settings Advanced configuration section added to GUI Documentation Update Python versions referred to in docs (#2249). Remove dev/contributor guide from public docs (#2277). Add documentation for advanced GUI configuration Docu...