re #91: Compress JS file