In the process of thinking about everything boxes and iOS/iPadOS, I came back across a useful thing: You can print to PDF on iOS/iPadOS by sending an item (e.g. a mail) to the print share sheet then pinch-spreading the print thumbnail. It becomes a PDF you can share to whatever.