On 1/9/20 5:01 AM, Grant Taylor via TUHS wrote:

> On 1/7/20 12:14 PM, Thomas Paulsen wrote:
>> I do ed/se occasionally for simple tasks
> Was that supposed to be "sed"?  Or is "se" something that I'm not
> familiar with?
>
I think he is referring to http://se-editor.org/, mentioned earlier in the
thread.

vks