Many thanks, it was exactly that bug report I was thinking of, but couldn't reca...

		cesarb on Nov 20, 2022 \| parent \| context \| favorite \| on: Investigating why Steam started picking a random f... Many thanks, it was exactly that bug report I was thinking of, but couldn't recall where I had seen it.