Fixes #4505: link to doc open in new tab