So Russ spoke to Zain recently, and he said he was done with GR. He hasn't been on in ages, so we decided to remove him. Of course, he's welcome back if he ever returns.