* The redundant slash has been removed from the include statements in “richtext/index.php”.