[DEL] Useless makefly.svg (move it into static directory)
[DEL] Useless code in jskomment.js.
[DEL] Useless CSS lines for Minisch theme to make thinner