It is not relevant to this sub-thread, and should have been a new top-level comment.