There's already a PR for this by nostr:npub1w4uswmv6lu9yel005l3qgheysmr7tk9uvwluddznju3nuxalevvs2d0jr5 that just needs to be merged, I think though it's a better idea for him to take over the project if he wants.