pepperflash: This used to be part of the freshplayerplugin module, decided it should
be separate.