He's came up a few times on stream since then - as recently as a couple months ago, in fact - & I'd assume that most of the regulars who actively watch streams at least have heard the name, whether they know any backstory/lore or not. He's a pretty essential piece of Pipstory.