Let's not pretend all of HN is a hive mind. I for one thought that Firefox the browser had chosen not to be on IOS because to they couldn't use Gecko. This is new information to me.

So no, using the proper names for things is not a semantic nitpick. The commentator didn't not try to invalidate the parent's point, just show the language issue.