On 2016-12-25 13:38, Erik Rijkers wrote:
> 'the the' -> 'the'
>
> and
>
> 'ie' -> 'i.e.'
>
> Although (concening the latter change) the present counts are 'ie'
> 428, and 'i.e.' 428.
> so it might be debatable (but let's not)
>
Sorry; I meant: 'ie' 428, and 'i.e.' 305.
