On Thu Aug 18 08:38:12 2022 +0000, Huw Davies wrote:
I see thanks, in which case the first commit looks ok. However, in the second commit, if we're going to allow replacements of replacements, we'd have to guard against an infinite loop.
I agree with you that it is better to amend it to not allow replacements of replacements.