A hopefully minor but very time-saving improvement would be to make the Safari DT3 share sheet default to importing as PDF when the doc it’s invoked for is already a PDF.
Thanks for the suggestion, we might change this in upcoming releases (assuming that nobody prefers the current behaviour).
Well, I prefer the current behaviour. Don’t want to capture every URL that points to a PDF as PDF, so changing the current behaviour would be a bad thing over here. A (hidden) preference might probably be the best way.