Latest version of docs not published (github actions/TagBot)

Thank you all again. The problem is now solved. Part of the problem was that some line breaks were copied to the secret incorrectly. For now we must be careful with that. Resetting the keys with that in mind worked, after creating a new tag with a meta-data (+doc1), and publishing the corresponding release. I updated the solution above with those details, for future reference.