Allow documentation finding to link against specific manual versions if possible

enabled an automatic merge when the pipeline for 8f950d5a succeeds

canceled the automatic merge

added 1 commit

• f5dead70 - Make new_version script compatible with new readme templates on bob.admin

Compare with previous version

enabled an automatic merge when the pipeline for f5dead70 succeeds

added 1 commit

• cb215606 - Update documentation server location; Remove downloads/per-month icon

Compare with previous version

enabled an automatic merge when the pipeline for cb215606 succeeds

merged

mentioned in commit 4bf30c66