fix: use extension in docs link so it also works on GitHub (#6787)

fix: use extension in docs link so it also works on GitHub (#6787) #1670