ci: report whether the documentation followed the change, here and on the website#719

HuggeK wants to merge 4 commits into

srcfl:mastersrcfl/ftw:masterfrom

HuggeK:ci/web-link-nudgeHuggeK/ftw:ci/web-link-nudgeCopy head branch name to clipboard