Remove duplicate entry from docs/CREDITS (as announced in svn r28254)