(aside: discussing via the pump.io web interface is still a pain)