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