From this thread I'm learning much more than I ever wanted to know about PDFs: https://mathstodon.xyz/@christianp/111028682032084169 But knowing it's here means I can reference it later if I find I do need to know these things.