@dansup For big crazy ideas a fork can be better. It can be a friendly one for sure. And if it pans out I think a merge is good idea.
I think there’s been too many forks in anger, and we’d be better off with less of those imho.
Also stale PRs make me sad. Love to see them either merged or rejected (I mean some aren’t good for various reasons).
Good luck!