_VERIFIED_ Islamists Target Kali Linux: An Operating System Designed To Thwart Attacks