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