On 27.12.2019 13:23, Mike Flannigan wrote: > I hear there is a dead hiker on the John Muir Trail, > or some kind of Muir trail. I think a tree > fell on them. A hiker was killed when a redwood fell on him at Muir Woods National Monument on Christmas Eve. Gary