A little offtopic:

For those new pumpers who came here to follow @Debian Project, let me post a link to our Pump.io User Guide, so you can get more out of Pump.io =)

Cheers! o/