Video Filter: Hot Pixel Removal?

Anyone know how to remove hot pixels within KDENLive, as a filter?

I would try the Spot Remover effect.