[dredmorbius]

Thanks.

The impression I'd had from the interview(s) I'd heard were that it was common practice to use a fairly standardised characterset and then the specific auxiliary set as needed. How much individual typists might move between different machines and (nonstandard?) configurations I don't know.