JOE: Old-School Text Editor Teaches New Lessons