Re: [PATCH] doc: Trivial fix for reuseaddr-priority