4 ms·

The post is not very clear, but disqus already released a patch for it last night (included on version 2.76).