[tor-commits] [tor/master] Hide options beginning with "___" from GETINFO config/names