A Short Course in Line Editing