> From: Gavin Smith <[email protected]> > Date: Sun, 5 May 2019 21:35:46 +0100 > > It wouldn't be completely trivial to make this change, as it should only > happen if the output is split by node. There is also a case, I seem to > remember, where more than one node can be output in the same file if the > system has a case-insensitive file system.
One other case (at least it used to be) is with links to anchors.
