MINI file extension - What is MINI file? How to open MINI files?