@larsbrinkhoff @mwichary Lars since you know LINC well can you tell me the meaning of the shifted key character (and font character) that looks like this? Couldn’t quite suss it out from doc scans.