That's an odd extension for a file. You don't think you've ever seen it before.