a curiosity that I'm hoping the likes of WildIrish can answer ... why are the local flags at half mast? I noticed it first on Sunday and again today... I'm told they've been like that since last week ... is it due to the big crash on the mountain a week or more ago?