Dispatch docs deploy after releases

[dexcompiler]

Summary

• let manual docs workflow dispatch accept an explicit version label
• prevent versionless manual docs builds from deploying a dev label to Pages
• have the release workflow dispatch and watch the docs workflow after the GitHub Release is created

Why

The main-merge docs deploy can run before the new GitHub Release exists, so it may resolve the previous release tag. Dispatching docs after the release is created removes that timing race.

Validation

• npm run docs:build
• git diff --check

Note: Ruby is not installed in this local environment, so YAML syntax is left to the GitHub Actions analyzer in CI.

[dexcompiler]

@copilot review this pr

[Copilot]

@copilot review this pr

Reviewed the PR at cb602ea and ran validation locally (dotnet test tests/Clockworks.Tests.csproj -c Release --nologo, npm --prefix docs ci, npm --prefix docs run docs:build, git diff --check). I don’t see any blocking issues in the workflow changes.