Gosh, so you can. Apparently I don't really understand this code – I would have expected that doing that would have caused pdf.js to not even go to the target page at all. But you're quite right, of course, that does seem to work fine.