I wonder if this is a fringe feature - would be interesting to do a poll to find out. I know that for my community that works in Africa it would be desirable for many to be able to save a PDF to read later offline.
There’s a bit of a hack solution to this problem posted elsewhere on the forum:
https://meta.discourse.org/t/download-pdf-of-post/3359/3?u=tobiaseigen