Karaoke: Formalize the name PiKaraoKe (it's available!)