Full threadDoomHotel·That Washington Post story is dated May 3, 2016 and now I'm wondering if that justifies flagging the post.View on HN