commit d2d31ebb6098831b9c1d08473c4a66ae6f327aba Do not install a placeholder (fake) FireGPG iceweasel extension anymore. It was shipped from 0.10 (early 2012) to 0.15 (late November, same year), so the migration period should be over now.
