Comment Comment by tor_user Washington post running the same headline, bravo whoever wrote the headline on hn. parent tor_user 8 years ago