[tor-commits] [tor/master] Document options that can't be changed while tor is running