Merge pull request #8304 from davide-ceretti/chore/prettify-docs-update.py

Prettify docs-update.py