Lunar:
I am still unconvinced that PDF is an interesting format for what we want to achieve.
This may not change your mind, but I wanted to point out to you that a pdf file created with wkhtmltopdf (the wk is for webkit) would preserve the interactivity of any svg files that are contained therein, (e.g. the interactive svg file you made specifically for the manual).