@nikitonsky I’m sure a lot of typesetters would have revolted because it would have inconvenienced their daily work immensely.