I mean. Is there any evidence SFC explicitly approved of those names? I haven't been able to find any. They've been in place for decades without apparent contest.
But it's a trademark, and trademark law in the USA is pretty constrained by "will an ordinary person likely be confused" and I can only come up with "probably not" counter-examples in enormous quantities (git-lfs? there are tons of git-prefixed things out there). Git™ is just used with git itself, in practice, and I've never seen anything else Git™-branded-and-prefixed by SFC that changes that.
I'm sure there's probably a court case or N that would make this a lot more clear, but it seems like a fairly safe established pattern in the industry, though it's best to respect SFC's request.