Rename 'html-formatter.php'