When applying the recent "the the" comment fixup to downstream docs I happened
to notice other cases of duplicated words in comments. The attached trivial
diff removes the few that I came across (the last one was perhaps correct but
if so seemed strange to a non-native speaker).
cheers ./daniel