comment by Tyng-Ruey Chuang

I see, in pump.io one can still address people by their handlers. Let me do this for once (CC: @trc).

No, I think am still mistaken. Addressing people like @trc does not seem to work in pump.io.