I didn’t have to look it up to see what game it was, but I didn’t remember the price. I bought Portal for $19.95 almost 19 years ago. Played it on a Windows PC that was not focused on gaming. I guess I’ve also played it on every computer I’ve had since then, including my new-to-me refurb Steam Deck a couple days ago.