It seems this nonsense is finally over. Perhaps we can get back to work now. Just as well that we did not win. The last thing we need is further distractions.