Hat tip to NRO.