Rename 'class-html-formatter.php'