Y no es sólo eso. Pump.io ya no es software libre según parece. Sólo es código abierto.