since people often view this in their browser from github rather than doing "git pull" it's probably better to compress these