Dave on Nostr: Thanks guys. Merged the PR. Will push today.Thanks guys. Merged the PR. Will push today.