I was away on vacation at the submission of the pre-print to arXiv. If I have some minor edits to suggest, is it still OK to submit a PR - just to record them for a possible later version of the paper?
Yes, you can still (minor) correct the manuscript. At some point we'll submit it to a journal and no doubt it will need some corrections before publications and we'll upload a new version on arxiv.
I was away on vacation at the submission of the pre-print to arXiv. If I have some minor edits to suggest, is it still OK to submit a PR - just to record them for a possible later version of the paper?