DSO file extension - What is a .DSO format, and how to open it?