We can now get the Platform from the DynFlags inside an SDoc, so we no longer need to pass the Platform in.