Rename 'class-wp-html-open-elements.php'