02-24-2020, 06:06 PM
If you long press the song, tap the three dots at the top right and then tap "Print", you can use the print dialog to specify a range of pages and you can set the output destination as "Save to PDF". So that would accomplish what you are asking for. It's a little different than exporting to PDF though as the export is faster and embeds annotations as actual annotation objects (instead of rendering them as part of each page and building a new PDF from the images that are rendered). So overall the export is still probably the better option, but depending on your needs, printing could be an acceptable alternative.
Mike
Mike