DIST File Extension - What is a .dist file and how do I open it?