Hi @rkhaskin and thanks for checking on this one.
Good news, we've just launched the private beta for our new web version (native!) and the PDF exports are now at a much higher resolution, and with selectable text!
Still no ETA for the official release, but we'll make sure to keep you all informed here.
We'll be here if you need anything else in the meantime.