Comment on Is PeerTube dead or is discoverability bad?