Unnecessary `workflow_dispatch` in docs github action workflow?

Through browsing the github actions tab and trying to learn more about how workflows are configured, I came across this for the workflow doing the docs build

This seems to be due to the `workflow_dispatch` field in the workflow file: https://github.com/DiamondLightSource/httomo/blob/eb0e5b5aa2db2e307acb5482e1bd5a080753f800/.github/workflows/doc_conda.yml#L4

From the [docs](https://docs.github.com/en/actions/using-workflows/manually-running-a-workflow), this appears to be a feature to allow manually running a workflow.

Just wanted to ask if this is intentional: do we need to be able to run the docs building manually?

Read .github/workflows/doc_conda.yml around line 4 and compare the workflow trigger with GitHub's documentation for manually running workflows. Determine whether manual documentation builds are needed; done means the decision is recorded and the workflow configuration matches that decision.

Written by the indexing model from the issue text.