Maybe we should ask them what they would need to switch ?

I know they have specific signing and backup procedures in case Bill Gates gets a littke too drunk one day,

But specific decentralization requirements/standards and putlines from core devs would be useful. What are the trade-offs they are willing to make ?

Something like : "as long as these conditions are met, we don't mind porting to a new solution in the interest of anti-fragility" this is a whole project in of itself : leaving github.