I actually found a very decent solution!!
-Have a button linked to a lightbox with a picture or video showing how to print a page as a pdf
-precise the optimal parameters (no margins, 60% zoom, landscape orientation, background graphics on…) and voilà!
I get a decent pdf with… all my hyperlinks embedded!
(example attached below)
I add below a video to explain how to proceed. I will embed a compressed version of it in the lightbox shown when the user clicks “export”.