Dave on Nostr: Looks like this has a PR already! That was much faster than I thought it would be.