[editorial] r8198: add a hyperlink.