FWIW, WaPo itself also changed it. My original title was the original WaPo title (check the URL) and then they changed it, and then y'all changed the HN side to something a little different :)
I had a hunch that was the case, which is why I added the parenthetical bit. It's a weakness of the title-submitting rules here that when the OP changes their title it leaves the law-abiding HN submitter high and dry. Sorry!