i just gzip’ed it… i figure if anything expects it to be there, it will fail. by the name, it looks like something i created way back when i got started with Auth0.
As far as I have checked, the mentioned file does not seem to be anything that the Auth0 Dashboard/SDKs would create. Most probably, as you have mentioned, it might be an old file created on your device.