minor #17879 Use DOCtor-RST 1.40.0 (OskarStark)

This PR was merged into the 5.4 branch.

Discussion
----------

Use DOCtor-RST 1.40.0

Commits
-------

929cbc0 Use DOCtor-RST 1.40.0

Author: OskarStark

.github/workflows/ci.yaml

@@ -73,7 +73,7 @@ jobs:
                     key: ${{ runner.os }}-doctor-rst-${{ steps.extract_base_branch.outputs.branch }}
 
             -   name: "Run DOCtor-RST"
-                uses: docker://oskarstark/doctor-rst:1.38.2
+                uses: docker://oskarstark/doctor-rst:1.40.0
                 with:
                     args: --short --error-format=github --cache-file=/github/workspace/.cache/doctor-rst.cache