Tor Bug 1517 Mozilla Bug 1424341