Could it be the non-standard formatting? I also don’t see proofs in the zenodo document.

Thank you — I see, that makes sense. I really appreciate your feedback. This was very helpful and I’ve learned from it.