Oh for sure, I started out doing molecular biology so I dealt with missing methodology details all the time there - certainly some things make sense to leave out, but there were also cases where it took trial and error to replicate because details on intermediate steps were left out.

That is what it is, but in the case of theory I think the alternative proofs could actually be really educational. The exact details of a biology technique (and hyperparameter searching type stuff for that matter) don't have the same inherent interest to me.