Yes, thank you. Hence my comment on 526.
Yes, I see (#526). And I'm glad to see someone else had the same impression I had. Thanks.