It was just me being overcautious until he confirmed explicitly; he just did.
Back to the general topic, discussions since yesterday here or on IRC show that others are waiting for the final decision on OBS, but are considering this could be the reason to move on. Not only because of it, there are other issues they’ve been living with so far, but OBS closure, if confirmed, will make their work more difficult to the point that some think it won’t be worth it.
I wanted to voice my concerns in one post, but I’m no dev and can’t make more valuable contributions to this discussion, so I’ll just leave the space for the questions @rinigus has asked.