How your comment contributes to the discussion I have no idea, but thanks for this factoid nonetheless.