I don't know if it is only because the names Kermit and Grover are famous muppets that no one would use them. I have a friend who goes by the name Mickey, and even though he does get many mouse jokes I don't think it is unusual. I also know an Oscar. So the existance of Kermit and Grover might have some influence over parents naming their kids, but that cannot be the only factor.
Welcome to the Muppet Central Forum!
Christmas Music
Macy's Thanksgiving Parade
Sesame Street debuts on Netflix
Back to the Rock Season 2
Sam and Friends Book
Jim Henson Idea Man
Bear arrives on Disney+