Removed unused files from extensions/
Removed fonts/ and docs/
Removed unpacked/ and localization/
Removed jax/output/HTML-CSS/ and jax/output/NativeMML/
Removed all fonts fron jax/output/SVG/fonts/ that is not Tex
Removed config/ directory, wunderbar!