[dev] ILIAS 8.23, 9.13 and 10.1 on Tuesday, August 26, 2025