We can now get the Platform from the DynFlags inside an SDoc, so we no longer need to pass the Platform in.
Attach a file by drag & drop or click to upload
