npub1c3wq6pexa6r4agn6m57nrl6y2klaq02w4uvfy66secfeae54h6sqtl8xn9 (npub1c3w…8xn9) So I actually have a script that scrapes all @foo@bar identifiers of the Markdown that is fediforum.org, and puts it into a JSON file. That's so I can run another script which does webfinger lookups for profile pages, so we can auto-generate hrefs to the profiles from the handles for the site.
Technically, very easy to provide that intermediate JSON. However, I am not certain that everybody would appreciate that even if it's all public information and they could do it themselves.