Short explanation of how to set HTTP proxy in browser, fixes #8