18 Sep
2020
18 Sep
'20
5:56 p.m.
Hi Hans, # We also considered that in order to enforce the use of si units the # 'in' should go away but that has been postponed (it is anyway last # in the checked keywords so has no overhead). I do not remember details of the discussion about 'in' but I would like to say that 'in' is quite important unit, especially for Americans. We have to take into consideration that paper and other things are sold in inches in the USA and it is not very comfortable to recalculate it to the metric system. So I vote for keeping it forever, eg. till Americans will completely convert to SI. Best wishes, Tomáš