observations about Javascript minifiers