收到小程序变更备案提醒：根据工信部小程序备案数据对比，你的小程序备案中的【名称】与微信小程序中的信息不一致。如何处理，是修改小程序名称，还是重新备案？如何查询工信部备案的小程序名称？