How surveillance technology and the ‘Reddit Detective Agency’ helped search for a killer