Yes, well spotted - I had trouble dating that comment, as I assumed the reference to changing to RCS just after it was about 1972.

You're right that it talks about floppies, so it can't have been.

Enjoying the few more comments the article has generated with memories of those earlier days. Would love to see the earlier astonishments written up more precisely.