notes.michalsvec.cz source files