Fixes #13400, #13415: actually document the existing practice for links in panel headings