4K on ServerFault

Thanks to a burst of reputation gained on some low-hanging fruit, I broke 4000 on Server Fault today.

(Previously.)