Interesting how Wikipedia handles slashes in the title.

Good to know! Although I have to wonder if that's true for programs more recently set up as well. That was >40 years ago.