Remembering Patricia Crone (1945–2015)