Hi, I think removing jquery.js and underscore.js from the original tar should be enough. I have tested it and everything works correctly. For the searchindex.js I see a lot of packages that ships it. I hope this help.
Cheers -- GPG Key: 4096R/F2133176 2010-10-19 Enrico Rossi <e.ro...@tecnobrain.com> -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org