Everyone -- as discussed in today's meeting, this was the last meetup for 2023. Please post any new issues here for discussion. I will follow up regarding tapeout deadlines, logistics, etc.