Bug: Semicolons aren't being escaped in API gateway integration request

We have an API gateway integration request for a GET request which has this set up under "URL Query String Parameters": Name: userAgent Mapped from: context.identity.userAgent

Here's a snippet of the URL that we get from AWS in the integration request: &userAgent=Mozilla/5.0+(compatible;+Google-Apps-Script;+beanserver;+%2Bhttps://script.google.com;+id:+UAEmdDd-JF_eZcep6pqc2VRUjSlsCUIm-NA)&page=16

As you can see, some characters are properly escaped. However, the semicolon is not being properly escaped. Semicolons in URI parameter values are supposed to be URI escaped. Please fix this.