js1k wants UTF-8 encoding which'd bloat it up to 1500-or-so bytes. We asked to use another charset but didn't get any reply at all. So, being "not cool enough" is just sarcasm.