Manual: Fix six typos involving "the the".