This is tedious. We are never going to get consensus. Anyone interested in this issue would have already been aware of arguments from both sides.