Fix the bug that could appear when we try to get url of documentation.

[Aziguy]

I think we're good with this this @bryan-brancotte but I saw some test failed related to "view crash..."

[bryan-brancotte]

Note:

When master pass CI, you'll have to merge master in your branch:

git checkout master
git pull
git checkout improve-tool-model
git merge master
git push