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 again will show you which chronological order things were posted in)
You said "this point in time, yours is the first comment to mention him"
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.
You're relaying something I said earlier because you didn't read my comment that you responded to. "The comments are arranged based on score and time posted. They're not going to be the same for every user who visits the page."
Ok, you're still not getting it. Yes, if you just look from top to bottom, you're not seeing the chronological order of when comments happened. When you say "you made the first comment" you're implying "first" in the chronological order.
The comments are arranged based on score and time posted. They're not going to be the same for every user who visits the page.