On the subject in the title: Publishing an inconvenient result: a case study Working notes rather than a conclusion.
Publishing an inconvenient result, and specifically the version of it that the documentation does not cover. The maintained page handles the general case well and stops exactly where my question starts.
Setting out the gap in case it is a gap in the page rather than a gap in what is known.