Embed Notice

@lanodan @Quenby The more I think about it, the more likely it seems that it was just a plain old TAB keystroke after setting a single tab stop at exact center, rather than a dedicated key. (These were the last generation of boringly mass-produced office electric typewriters, before the short-lived partly computerized ones, and they tended to have the bare minimum to get the job done.) Still, that bit of memory got de-indexed long ago and I don’t really know for sure.