Full threaddddavid·Dated December 1st - one of the many benefits of consuming news via RSS.View on HN