Proof that in this single instance, Reddit developers decided this was a suitable optimization for their codebase.

This also calls into question the original assumption, that posters believed Reddit had far too many wasteful servers to handle their service, and that it was because they use a dynamic language.

Was there ever a question about that? I thought that was pretty much a fact. Of course static typed languages are faster.