Subject: [Ppm] "Heavy Hitters" is now "Poplar"

From: Christopher Patton <[email-masked]>
Date: Tue, 4 Jan 2022 11:09:34 -0800

As noted here, we now have a proper name for the privacy-preserving heavy
hitters protocol:
https://github.com/abetterinternet/ppm-specification/issues/176

I will create a PR to update the name. Unless there's an objection, I'd
like to merge it by the end of the week.

Best,
Chris P.