I noticed a typo in a recent NEWS entry (commit
7b9d755b816ca697b879b7c5c61526f96e9f4b9a), and "git grep ' the the '"
revealed several other instances of the same glitch.

The attached patch fixes those typos: I'm not exactly sure that touching
Changelog.3 is the right thing to do, though.

All the best,
ciao, lele.