Torbutton does not clean up the user's settings when it is uninstalled
A user joined #tor and was frustrated to see that he could not toggle torbutton. The user tried removing torbutton, but found that it did not clean up his/her settings and he/she was forced to do so manually.