Comment # 35 on bug 4286 from Nicolas Chauvet

I might be wrong (in this case, please re-open), but the pepper plugin is now
redistributed in the adobe repository, so I don't think it's still relevant for
us. (unless one want to repackage it).