Finish rebranding: crocodile -> frog :)