No, the shortcut was alt+s. That's what people typed. Then on Windows, which used alt-combinations already, it became rightalt+s (as the rightalt wasn't used by Windows itself) but instead of having a dedicated rightalt code, Windows would rewrite that key into a ctrl+alt code combination.

If you're going to tl;dr, at least get the most important detail right. People only ever pressed alt, and Windows went "and now you're pressing ctrl+alt", so that alt+s becomes ctrl+s with an alt that no one's looking for when it comes to intercepting and killing off key events.