Man tor page - 3 options from the "GENERAL OPTIONS" section should instead go in the "SERVER OPTIONS" section
Affected options are:
ServerTransportListenAddr ServerTransportOptions ServerTransportPlugin
Like it it said in their names, they all should go in the
SERVER OPTIONS section. This will make it more intuitives to find them, instead of having to always remember their weird locations in the man tor page.