Ticket 35180 was closed as a duplicate of 28646. However, I’ve opened a PR that only fixes the ticket-35180 part of the issue, not the full 28646 ticket.
Would it be OK to re-open ticket 35180, and handle it separately from 28646?
Following the reopening from Claude, I have accepted the ticket for an in-depth review. Thank you @benc!