(Sorry, my headline was a bit misleading.)
And I haven’t had enough coffee yet ;-)
Thanks for finding these.