2 ms·

Animats is John Nagle?! I've seen good comments from him to the level where I think "oh, a comment from Animats" but never realized.