Editing

Much as I am tempted to leave erroneously posted (double) comments I suppose I’d better delete them. But hey, who’s gonna know?