A shell script to convert KTouch lectures into plain text files which can be imported by TIPP10