@johubris You could never be redundant to me. Made redundant, yes, but you yourself are not redundant in the least, sez me.