Well, we could add magic markers that instruct rustdoc to use the doc-comment of some other item, but that shouldn’t block this PR.