adjusting startup scripts and documentation accordingly. Replaced index.html (small & no content) by index2.html.
Merge 2 decls.tex together. Drawback: can't use url package anymore.