A link is broken in the documentation page because
the name of the repository has been changed from master to main.
This PR fixes the dead link.

Signed-off-by: Nao Nishijima <[email protected]>