Shinydat — File For Pgsharp Portable

Next, "shinydat file." The .shinydat extension isn't a standard file type I recognize. It might be a custom file format used by PGSharp for storing some kind of data or configuration. Maybe it's a settings file or a project file? I need to figure that out.