[demeester]

Redundant clues, while not common, are certainly not rare. They can add to solve times by causing a solver to scan more clues - anything which mixes it up is a good thing by me...