Squashed commit of the following:

commit c1184364b91be87a9935d92141e43c5e52a537d7
Merge: f1d37bff 02ddb8c
Author: Vít Musil <musil@fi.muni.cz>
Date:   Thu Aug 11 13:57:51 2022 +0200

    Merge branch 'devel'

commit 02ddb8cebe5cd3b9aab46b3b049d31440f3d149e
Author: Vít Musil <musil@fi.muni.cz>
Date:   Fri Jul 22 12:26:18 2022 +0200

    9

commit 53d59241c01a0810868a9831cb879794d26cc822
Author: Vít Musil <musil@fi.muni.cz>
Date:   Fri Jul 22 12:24:58 2022 +0200

    8

commit 2ffe973bb2048339c60f6a357273b0eb5050c265
Author: Vít Musil <musil@fi.muni.cz>
Date:   Fri Jul 22 12:22:23 2022 +0200

    7

commit d8ebcf5b4c5bd603966e0220cb45f298911a3988
Author: Vít Musil <musil@fi.muni.cz>
Date:   Thu Jul 21 15:14:03 2022 +0200

    settings

    settings

commit d06ae13132417378d09ec6fc5fea0f24ba054f04
Author: Vít Musil <musil@fi.muni.cz>
Date:   Thu Jul 21 14:57:28 2022 +0200

    6

commit f8cf4d67f2e3dbece9bf4642f1d234a3452cc759
Author: Vít Musil <musil@fi.muni.cz>
Date:   Thu Jul 21 14:58:39 2022 +0200

    bug fix