You don't "want" to use the legal threat of trademark law, but you'll dangle it in front to try and coerce your desired behavior.
And there's no doxxing here. That's a legal document he pulled up that's publicly available.
Just because it's publicly available doesn't mean it can or should be broadcast for all the world to see.
krisives took the time to download the document and mark it part of the repository so _at the very least_ they should have redacted any PII.
There are tons of cheap services[1] to provide obfuscated business addresses for LLCs very cheaply, and by the time you're navigating filing documentation for legal trademarks I would expect this to be a known solution, as their legal counsel should've brought it up when they were establishing the LLC in the first place.
[1]: https://www.noobpreneur.com/2018/05/04/how-to-use-a-virtual-...
And uploading legal filings with private addresses in them and publicly associating with a GitHub user account in response to me opening a GitHub issue is absolutely doxxing. It was not necessary at all, and they refuse to remove it.
If you mean the email address, it's just your first name and your company, which is the same name you're using for HN and Github? How are they not already publicly associated?
Please, just "mea culpa" that you got off on the wrong foot here, unban the guy, and work out this situation slowly over time. The repo has only 2 stars!
Your ridiculous overreaction is what makes me never want to touch Elementary. I don't want to make this about me, but I'm in your customer profile, typing this on a System76 laptop and having a PineBook Pro sitting next to me. I want to pay OSS companies for quality work! You should really think about what you're doing here and what kind of reputation you want your company to have amongst your potential customers.