Hi folks! I cannot find the meeting notes so adding the following issue to discuss on today's office hours: #8337.