Raspberry Pi put our their own images based on this, and called it Raspbian until about 2020 [2] when they started calling it "Raspberry Pi OS" after they started producing aarch64 images.
[2] https://www.raspberrypi.com/news/8gb-raspberry-pi-4-on-sale-...
Further reading:
[4] https://www.tomshardware.com/news/raspberry-pi-os-no-longer-...
Google results only seems to show those words as a deliberate name for a few niche things like "RT Raspberry Linux". Meaning, I still don't think "Raspberry Linux" is a thing. HN should probably change the post title here.
Edit: Yes, it's something of a nit, but it helps for searching, etc, later. Or if in the future, a different product does have that name. "Raspberry Pi OS" is an option if Raspbian seems obscure.