docs: Add missing extensions to redirects (#34539)

Fixes the redirects added in
https://github.com/zed-industries/zed/pull/34537.

Release Notes:

- N/A
257bedf09bMarshall Bowers committed on 7/16/2025, 2:15:33 PM· committed by GitHubparent37927a5
1 file changedLine totals unavailable