Yes, PDF download is that bad, especially on mobile. It will likely be larger and thus take longer than html, and in many cases requires opening a different app.