One one hand, it's political news, which I abhor on HN. On the other hand, international travel out of SF provides underlying support for the tech industry and without it, would cause deep headaches. On balance then, yeah, I don't mind this on HN.