re: #296 eschew_obfuscation

Charles:

Geek question… how often does the new comments button poll for comments? … or is the count somehow “pushed”?

5 seconds. AJAX.