それはかなり悩みどころですね。

オリジナルキャラに差し替えたいとは思ってるんですが、キャラが集まるのか分かりませんしorz
集まらなかったら仕方ないのでこのまま初音ミクでいこうと思っています。

あと、初音ミクとオリジナルキャラの二通りのバージョンを提供しようかな？とかも考えてまして・・・

まぁどういう方式にするにしろミクと関係ない名前の方が無難ですよね。
いい名前が思いついたら変えようと思います。