Check whether workaround for Tor bug #28027 is still needed

The Tor plugin contains a workaround for Tor bug #28027. The fix for that ticket's parent was backported to the 0.3.5 series, so the workaround may not be needed any more. Test whether it's still needed and remove if not.