Cool! Thanks very much.
So few people seem to comment these days, although am always grateful for the upvotes.

I hope the RC-cost of comments will change at some point; this is supposed to be a *social* platform.