web: replace <pre> by <p>