I went through the formalism in particular and fixed some stuff, removed some redundant wordings and stuff like that. Nothing major though.
Quick question: Did you include the output folder in git on purpose? Like, is this necessary for the GitHub pages rendering of the manuscript? Otherwise, maybe we can omit that from being stored on GitHub. It's still included here now, just in case.
The first version already reads nicely!
I went through the formalism in particular and fixed some stuff, removed some redundant wordings and stuff like that. Nothing major though.
Quick question: Did you include the
output
folder in git on purpose? Like, is this necessary for the GitHub pages rendering of the manuscript? Otherwise, maybe we can omit that from being stored on GitHub. It's still included here now, just in case.