![](https://secure.gravatar.com/avatar/d0e94fb08d4620cfbd2f8f59a7868637.jpg?s=120&d=mm&r=g)
27 Sep
2017
27 Sep
'17
7:39 a.m.
On 09/27/2017 02:16 PM, Thomas Widmann wrote:
That's a nice idea. If something like that existed, it could be used to change 's' to 'ſ' in relevant places, too.
This exists, see here: https://www.mail-archive.com/ntg-context@ntg.nl/msg79381.html