4 ms·

Update: it appears that the spam filter on ESR's WordPress installation is what deleted my comments on his blog.