Update CREDITS to be at least moderately more current.