@pjf This is the first time I came across the wonderful expression "code laundering", which I shall use from now on.