How did Rickie or Rikki come to be a girl's name when it's short for Richard?

Two songs on the radio today have had me wondering that ("Chuck E's In Love" by Rickie Lee Jones and "Rikki Don't Lose That Number" by Steely Dan). What girl's name is it short for?