pdf2htmlEX

Pubblicazione avanzata di pdf convertiti in html .
Mi ero imbattuta nel progetto di coolWangLu un annetto fa, e devo dire che già allora mi era stato utile e funzionava in maniera ottima.
Ora trova risultati ancora migliori.
E’ un software da riga di comando.
HA più funzioni di un tempo, volendo ti fa lo split delle pagine che poi vengono caricate in automatico via ajax nell’html e mette tutte le risolse in file a parte, non nell’html.
ES:
http://coolwanglu.github.io/pdf2htmlEX/doc/tb108wang.html 
 
Ora voglio vedere se è comodamente possibile aggiungere il tool di ricerca google per avere anche questo strumento:
Questo cerca nella documentazione di pdf2htmlEx:


o a questo link:
https://www.google.it/cse/publicurl?cx=006916846487818359604:lwzrmocv-2u

notare questo bug.
Che a me è accaduto e che effettivamente si risolve:
https://github.com/coolwanglu/pdf2htmlEX/issues/259
Mentre questo è noto e mi pare non risolto, ma abbastanza inusuale:
https://github.com/coolwanglu/pdf2htmlEX/issues/258