On Thu, Feb 06, 2025 at 11:51:10PM +0100, pertu...@free.fr wrote: > I think that we should avoid > changing too often as the HTML cross manual links will be broken before > all the manuals have been rebuilt.
It could be possible to generate redirection files with the previous default for one release or two to circumvent this issue. -- Pat
