Merge branch 'web' of gitlab.fi.muni.cz:lemma/kafe into web