D：2009年，小娜的开发由Microsoft Speech产品团队的总经理齐格·塞拉芬（Zig Serafin）和首席科学家拉里·赫克开始。两人为这个正在开发的微软个人数字助理建立了愿景、使命和长远规划，他们建立了一个具有专业知识的团队来建立小娜的初始原型。为了开发小娜，这个团队采访了几位人类的私人助理。这些采访激发了小娜许多独特的功能，包括“记事本”功能。小娜的自然语言处理能力来自Tellme Networks（该公司于2007年被微软收购），并与一个名为Satori的语义搜索数据库相结合。Cortana这一名字来源于由微软发行的第一人称射击游戏《光环系列》中同名的人工智能角色“柯塔娜”。该角色的配音演员珍·泰勒为小娜在美国的版本配音。最初“Cortana”只是一个代号，但是在UserVoice网站上的一份请愿书，证明这一代号很受欢迎，使得代号成为了正式的名称。小娜的首次展示是在美国旧金山举行的2014年微软Build开发者大会上。是次大会于2014年4月2日至4日举行，微软全球副总裁乔北峰于该大会首日向公众展示并发布了小娜这一产品。小娜的Windows Phone 8.1版本于同日发布。微软表示，小娜是革新Windows未来操作系统之计划的关键组成部分。2014年7月30日，微软在北京举行的Windows Phone 8.1 Update发布会上，发布了Cortana的中文版，并将其取名为“小娜”。是年8月，微软推送Windows Phone 8.1 GDR1开发者预览版，中文版小娜正式上线，用户通过长按搜索键即可调出该功能。微软在其中文网站上号称其为“全球首款跨平台智能个人助理”。

问：What action led to Cortana being the official name?

答：
请愿书