On Tue, Feb 18, 2025 at 05:28:22PM +0100, [email protected] wrote: > For anchors added for removed nodes, I do not think that we should > try to have anything special done, as anchors added for removed nodes > should not be used as soon as possible, if it just works it should be > enough.
Yes, I suppose it would not work for links from other manuals, and links from the same manual would be easy to fix right away.
