Yes you're right. And this explains why it's probably a better idea, in case of Jolla bankruptcy, to continue with SFOS (of course, it should be fully open in such a case), which is pretty mature, than starting a brand new GUI.