pump.io: preventing that a reenabling of the mirror option causes a flood of old posts