fix: use extension in docs link so it also works on GitHub

fix: use extension in docs link so it also works on GitHub #13482