I restarted the pump server process. That did not alleviate the problem (I see it too, but only via the web client!). I upgraded from 2.0.4 -> 2.0.5. That didn't fix it. I am checking to make sure my node.js installation is fresh enough. Barring all that, I will try restarting the front-end apache server.