add Rubedo credit in head comment.