Improve documentation of overlapping instances (again)

Prompted by Trac #9288