Some notes about the UK air traffic control meltdown