@gruber Hi there! Just spotted ‘introguing’ in your latest @daringfireball post. Is that a typo?