Torbutton should disable link prefetching
TorButton 1.3.2 alpha rightly disables DNS prefetching, yet it does not disable link prefetching. I believe TorButton should disable link prefetching to increase privacy and reduce load on Tor network (re unnecessary traffic); see: https://developer.mozilla.org/en/Link_prefetching_FAQ
I use the following setting in user.js:
user_pref("network.prefetch-next", false);
Trac:
Username: HG2G