Are there indications that development will halt, though? That was my question. Being deplatformed from github doesn't stop them from maintaining it, even if it

Are there indications that development will halt, though? That was my question. Being deplatformed from github doesn't stop them from maintaining it, even if it might reduce the visibility/number of PRs.