Has doc-render-title gone out of fashion?
doc-title used to use doc-render-title, but doc-render-title seems to have vanished at commit 6003 from title-base.ts where reference is made to package title-render but I find no such package now.
Many packages still re-define doc-render-title but no-where is it called any more.