I agree that different plugins should write different files to avoid conflicts. We might change this later if we establish a clear specification how this must be done.