It is. Over a decade ago they cut a deal with HBO where they would get priority on new episodes over PBS. That was a bit controversial at the time. Warnerbros cancelled the deal a couple years ago. Then Netflix picked up the show this time without the exclusive delay.

https://www.npr.org/2025/05/19/nx-s1-5403663/sesame-street-netflix-pbs

Hillary. No one names their daughter Hillary and haven’t for a while now.

Grover, Kermit. These were also common names. There was president Grover Cleveland. Teddy Roosevelt named one of his sons Kermit. Sesame Street had such a strong cultural impact that these names also fell out of use.