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.
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)
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.