I just noticed on Robin's wiki page, it says Matt Vogel performed him from 2008 to 2017. I know Peter Linz performed him in the Hollywood Bowl show, but is there any way we can confirm that Vogel isn't performing him anymore?
Our normal practice is that we only change the performer box when the new performer has consistently played the character over time and it's clear that the recast is permanent, but occasionally if there's enough confirmation in advance, we'll decide to make that change. By the way, Linz's puppeteer bio for the Season 48 press kit also notes that he's taken over Robin and other Muppet roles of late.
Could we add Peter to Statler's page? He probably performed him at least as much as he had Ernie when he was added to that page (and unlike Billy Barkhurst, it's been confirmed that Steve Whitmire is no longer a current performer.)