I am using code server over ssh on a less than ideal connection. It would improve the experience if assets were served encoded with gzip. Related to #1536