Agreed. You’d think a hardcore bitcoiner like NVK would be loathe to make such a petty intellectual property claim. Seems very fiat.
If it was a good intellectual property claim like a GPL violation or an original trademark I'd be fine with it. It's not.