I'll do that, thanks. I'll look into making a pull request, but I must admit I haven't worked with Github a lot and I messed up with the pull requests when I contributed to Jetpack some time ago.
You're correct in that people won't mind applying the filter to enable the creation of gzip files. To be honest I'm not sure how much of a speed boost and decrease in CPU usage this actually grants, but I don't see a downside to enabling it if you're already using Nginx gzip_static anyway.
On a side note, did you never run into problems serving Gzip content from PHP in combination with Nginx? I had some weird issues with both WP Super Cache en CacheEnabler in that scenario. Nginx would appear to gzip the content again, causing decoding errors in the browser, even if gzip was disabled altogether in Nginx.