I don't follow the mailing list closely, but earlier this month
folks were talking about a tape supposedly labeled "OS/2" for the PDP-11.
My gut feeling is that this is something like how "ASCII" sometimes
becomes "ASC-eleven" or even "ASC2" among those who don't know
what's a roman numeral vs digits vs whatever.
Possibly DOS-11 became D OS-11 became OS/2 :-). But DOS-11 on a TK50
would be unusual in any event! Finding, say, a late version of RT-11
or RSX-11 or RSTS/E or Ultrix-11 on a TK50 seems far more likely.
Almost all PDP-11 OS's have an "11" in the name, usually at the end,
and it's easy to see how this could become a "2" in the mind of someone
who thinks that there is a VAX named Saul or SOL.
Tim.