Merge branch 'main' of gitlab.fi.muni.cz:xkucerak/ma010-notes into main