After trying just about every name on planet earth without success (the computer kept telling me the names were already taken). I decided to look up the names of stars (the ones in outer space that is, not the TV kind). After all I thought, there are billions of stars, there has to be one which is not already in use! And so Miri is the name of a star.