I found
HTMLTrim for you. It seems to use Tidy. It's not specifically for PG texts, though.
Most of the PG-related utilities I've seen involve converting to HTML from their text files, or displaying their text files more beautifully based on their layout.
Hope that helped a little.