message: chore(build): Build docs on tags and release
  For some reason the docs workflow just wasn't running on tag push or on
  pushes to release branches. I don't know why, it says it was handled
  elsewhere, but it's not. So let's fix that.
diff: @@ -13,11 +13,8 @@ on:
  - '.github/actions/python/**'
  - '.github/actions/webstack/deploy-to-sandbox/**'
  - '.github/workflows/utils.js'
  - branches-ignore: # ignore any release-related thing (handled elsewhere)
  - - 'release'
  - - 'chore_release-**'
  - tags-ignore:
  - - '*'
  + tags:
  + - 'docs@*'
  workflow_dispatch:
  