@cjk @sil I did exactly this last time I changed editor. That was [checks notes] decades ago, so I'm still waiting to reap the benefits.