Fix Tipue Search generator & documentation

[LorenzoAncora]

• Fix generation of tipuesearch_content.json when partial pages are present (without this patch tipuesearch_content.json may silently disappear from build dir);
• Replace hijacked internet domain with original GitHub repository in documentation (it was leading to sex-related/music-related/… web pages).

[LorenzoAncora]

@josyb josyb merged commit 75cbb5b into jandecaluwe:master 5 hours ago

@josyb thanks. Would you be so kind to review/merge my other 3 PRs which were lingering since 2021?