this repository has moved to https://github.com/hkikoeln/SemToNotes