docs: Update tools.adoc#4277

Yornii wants to merge 2 commits intospring-projects:mainspring-projects/spring-ai:mainfrom

Yornii:fix-typo-in-docsYornii/spring-ai:fix-typo-in-docsCopy head branch name to clipboard