Delete RichText.php