What's going on with NewPipe? Their F-droid repository is down. Their domain is down. Their github repository is up, but it links to their domain, which isn't. Are they dying?