My conception of MN, at least for the purpose of the immediate question about the rules of science and based on comments up the line of this discussion thread, is that for a design inference to be considered legitimate, the inferred designer must itself be explainable within MN. You confirmed that that was a correct application of MN.
My guess would be that that matches actual practice in some circles and does not match practice in other circles.