The person you're talking to was wondering if there's a more elegant long-s font choice, not how to replace long-s with short-s.

Which LLM hallucinated this monstrosity? Just use a regex, it's a one-liner!