A PHP script to convert HTML into a plain text format