大家好，我是新手，刚开始做小程序时随便取了个名字，现在想改，但怎么都找不到改名入口。问了腾讯的AI问答，说可以通过【设置】->【基本设置】->【小程序名称】路径修改，但我翻来覆去都找不到。恳请大家帮忙解答一下。谢谢啦