Logging into sc.openredstone.org (confused)

[playerpiano56]

You login to it with minecraft that's the IP address

I tried (or at least think I did) that last night.

1. Logged into minecraft.net
2. clicked the server tab
3. I saw a search page and tried searching on openredstone, sc.openredstone, etc and did not find anything.
4. I also did not see anything else at minecraft.net that was obvious (to me) as a place to log into another server.

A little background - I don't really play Minecraft. I have been through the first four tutorials on https://minecraft.net/game/howtoplay

There may be something very basic t Minecraft operation that I am not aware of that is needed before I am on the same page.

Thanks much,
Ed