Merge branch 'main' of https://gitlab.fi.muni.cz/xboril/reinf