In the interest of users and the future acceptance of PeerTube, this should have been done. It just should have been done. Just done.
I.e. somebody should have done it. It is not necessarily you who should have done it, but…
But it was before you, right there, you almost did it, and then…
If this kind of mistake keeps repeating…
And a similar scenario possibly [1] the https://open.tube instance … i.e. if open.tube remains down, and nobody does nothing… and if because of qualms and scrupules all the users lose their data…
( BTW. open.tube is still down as I write this. Never ever has this happened in the last year, to my knowledge.)
But of course, the contrary can happen too. The mistake to never happen again… The users’ data to be relinquished and restore somewhere…
[1] Open.tube is down
well, let’s see, it’s been only s few hours, unannounced, maybe they only have a hiccup…