2 ms·I've edited the headline to change 4k (done by HN when submitting the story) back to 4000.by sohkamyung 4y agoI've edited the headline to change 4k (done by HN when submitting the story) back to 4000.