When I first got my Pi, I bought the pre-installed Micro SD card. On this card, I had a variety of OS's some of which I tried, in particular Risk OS which took me back to my Acorn days.
I had a problem with this card and had to reformat it.
However, I cannot get all the OS's listed out now.
Today, I have downloaded NOOBS again but I only have Raspbian.
What do I need to download to get the full list to choose from again.