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