Short RTF to HTML converter in PHP, implementing the subset of RTF tags one needs in HTML and ignoring the rest.