As @laanwj mentioned here, using option onlynet=tor
is deprecated.
I think it would be good to give the user a depcreaction warning feedback, so users can switch to onlynet=onion
so there is a perspective for removing the deprecated tor
in the future to decrease confusion.
Currently, users maybe just wonder that they can use a undocumented option, or they are not aware that they use a deprecated option.
Alternatively for the log warning message, I think at least this deprecetaion should be documented in the source code in a comment for readers of the source code.