s/<code>/<pre> in index.html