3 ms·

We deploy from git via "git archive". Wastes a bit of space, but there's no extra resources on the server.