Here's a TECO that will actually work on modern systems (that is, it's not written in PDP-10 assembly language):

http://videoteco.sourceforge.net/

And the manual:

http://www.copters.com/teco.html

More information:

http://c2.com/cgi/wiki?TecoEditor