@overholt I wish the long s was still a thing. It had quite a long life in my native German, but it was dead long before my birth.