I posted that as an answer to the question, acknowledging you as the person who had pointed out the answer to me: https://stackoverflow.com/a/78934138/2147204