The webxdc file name itself isn't informative for users. Still, send and display it if the webxdc manifest can't be parsed, it's better than sending "Mini App" and this isn't a normal case anyway.