Fixes #5405: link to doc open in new tab