Nothing to see here...

There used to be a comment here but now it's gone...probably on vacation, I forgot to ask before it left. (Or maybe it just got deleted because there was no option to delete the thread; but I think it's definitely the first reason, the comment went on vacation, send help.)