Automatically modify the User-Agent header in all Burp requests - View it on GitHub