Doc: Links should use https

GitOrigin-RevId: 72fd1033ea577a769cc855fde6b5576b82380715
1 file changed