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