@karlpro You're right, of course. I'll claim I thought about this as I wrote the post and decided to omit it on purpose :-)