Yes, that pop os. As luck would have it, Linus installed it during a very brief period where the steam package in their repo was broken. This is not a common occurrence, and I have never heard of it happening before or since.