chore: use redirect over symlinks

[jeffersonngu]

No description provided.

[cursor]

PR Summary

Low Risk
Single CI flag change for documentation publishing only; no application or security impact.

Overview
Docs deploy now passes --alias-type redirect to mike deploy when publishing a release with an alias (stable tags still get the latest alias).

Aliases like latest will redirect to the versioned docs path instead of being implemented as symlinks, matching the PR intent to avoid symlink-based aliases on gh-pages.

^{Reviewed by Cursor Bugbot for commit 097dc6e. Bugbot is set up for automated code reviews on this repo. Configure here.}