Jack Dorsey put up a pretty large bounty for a nostr-based github replacement. I wonder how that’s going