TAG comments on Project “MIRI as a Service”