Update: Looks like pepper flash is adobe flash-player and should be made a synonym when it shows up.

This was addressed once, but this time it's different. See Tags flash, adobe-flash and flash-player.

I was trying to find some information on pepper flash player and had a difficult time finding what I was looking for.

Right now we have flash and flash-player referring only to Adobe Flash Player (similarly adobe-flash references flash-player as being only for Adobe Flash).

Since Pepper Flash Player has been... forced? onto some Chrome versions, it might be useful to have a flag for pepper-flash-player and one for adobe-flash-player or the flash-player tag should be updated.

Thoughts?