Closed MonoidMusician closed 7 years ago
I think the encoding is mostly a product of the webserver rather than the page itself, but I'm still all for this. Thanks!
Ah yeah, I've just been using the raw file so that might be a contributing factor. Thanks!
I think this is a reasonable default, and it might prevent surprises down the road for users, like I encountered when trying to bundle d3.js, which includes a variable named
ε = 1e-6
.