Annotated FBI exploit for the Tor Browser Bundle from mid-2013 (CVE-2013-1690)