>> Stefano Zacchiroli:

“BTW, does anyone know if pump.io (or specific clients) support automatic URL shortening in any way?”

Choqok 1.5 supports Pump.io and has its own shortening capabilities, but may I ask what's the purpose?