Remove easy deprecated options in 0.4.5
We have accumulated a handful of deprecated options; We should remove some of them in 0.4.5.
Edited by Nick Mathewson
We have accumulated a handful of deprecated options; We should remove some of them in 0.4.5.