Remove <p> and </p> tags from <pre>...</pre>

The linebreaks filter can print <p>, </p> and <br /> tags into
    <pre>...</pre>.