Add links to javadoc and source code

[swallez]

New docs section linking to javadocs and source code.

[github-actions]

The backport to 7.16 failed:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-7.16 7.16
# Navigate to the new working tree
cd .worktrees/backport-7.16
# Create a new branch
git switch --create backport-73-to-7.16
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick --mainline 1 6bbde29110c2e2379a27dc462e5106684e238141
# Push it to GitHub
git push --set-upstream origin backport-73-to-7.16
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-7.16

Then, create a pull request where the base branch is 7.16 and the compare/head branch is backport-73-to-7.16.

[github-actions]

The backport to 8.0 failed:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-8.0 8.0
# Navigate to the new working tree
cd .worktrees/backport-8.0
# Create a new branch
git switch --create backport-73-to-8.0
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick --mainline 1 6bbde29110c2e2379a27dc462e5106684e238141
# Push it to GitHub
git push --set-upstream origin backport-73-to-8.0
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-8.0

Then, create a pull request where the base branch is 8.0 and the compare/head branch is backport-73-to-8.0.

[github-actions]

The backport to 7.17 failed:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-7.17 7.17
# Navigate to the new working tree
cd .worktrees/backport-7.17
# Create a new branch
git switch --create backport-73-to-7.17
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick --mainline 1 6bbde29110c2e2379a27dc462e5106684e238141
# Push it to GitHub
git push --set-upstream origin backport-73-to-7.17
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-7.17

Then, create a pull request where the base branch is 7.17 and the compare/head branch is backport-73-to-7.17.

[kid1412621]

doc link on this page not working