TIL there’s a public Steam API endpoint which returns the name and ID of every publicly released Steam game(?), and it’s about 8 megabytes in JSON at the time of writing
(Don’t worry, this link is to the docs, not to the endpoint itself!) https://partner.steamgames.com/doc/webapi/ISteamApps#GetAppList