小程序发布后，如果修改名称，之前使用过的用户还能正常打开小程序吗？小程序历史记录、Android桌面图标、微信聊天置顶这3个入口能正常打开吗？小程序名称会不会自动更新？还是需要用户重新搜索新的小程序名称？