Ultimately DEC picked TOPS-20 as the name of the operating system, and it was as TOPS-20 that it was marketed.
最終的にDECはTOPS-20という名称を選び、その名称でマーケティングが行われた。