remove <p>, </p> tags from work_area:

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