fix: correction of bad redirected links to documentation in hovers#17

thekazai777 wants to merge 1 commit intognoverse:maingnoverse/gnopls:mainfrom

thekazai777:fix-linksthekazai777/gnopls:fix-linksCopy head branch name to clipboard