Earlier quoted context omitted.
Here is the same comments ordered by time rather than score: https://ditzes.com/item/35040763 (you can also go directly to https://ditzes.com/item/35040763#item-35041285 and scroll upwards, every comment above that one was made before it) You can clearly see that there are mentions about Musk before Vermeulen made their comment. (also, you can hover the "N minutes/hours ago" and see the timestamp on HN too, which aga…
Why do you need me to prove this to you? Here’s my view: https://ibb.co/W2kvvmz You can “clearly see” that this musk comment is third.
I took "First" to mean in time, not order of the page. I guess I understood you wrong, because if you're talking about time, their comment was not the first to mention Musk. But I guess if you mean "first" as in "highest on the page", then you're right that it's higher up.
But as you know, comments are not ordered by time, but time + score, but somehow this point seems to be lost while crossing through the wires.