As of a few hours ago, TIO got a second arena server (it had it for some time, but it was only used for testing) and balances the load between the two. This should speed up requests during the busier hours.
8
As usual, if this broke anything, please let me know.
@ConorO'Brien Well, yes, but I have a little Bash function that simply does it once for each server. The difficult part is automating it, since I won't be able to verify manually that nothing broke.