[SubPro-IRT] SubPro IRT Meeting #17a | 9 November 2023, 20:00-21:00 UTC