[dev] ILIAS 7.24 on Thursday, July 20, 2023