I believe you're correct, and the Half-Life wiki seems to support that:

jjice • today at 1:25 PM • 0 replies • view on HN

I believe you're correct, and the Half-Life wiki seems to support that: https://half-life.fandom.com/wiki/Black_Mesa_(game)

alt Hacker News