Investigate CI error in "Build / Release (push)"

[joewiz]

As flagged by @duncdrum in the agenda for today's Community Call:

• https://github.com/eXist-db/function-documentation/actions/runs/30072196231/job/89415571530