Jobst quitting would not matter at all.
Years before Jobst, we had EZScape who produced very similar content; it's been a very long time since he was active, and, unfortunately, his disappearance hasn't really had an impact in the long run, I barely even noticed when he was gone (fun fact, you...