[SubPro-IRT] SubPro IRT Meeting #13b | 3 October 2023, 20:00-21:00 UTC