<commit_before><div class="content-dashboard">
    <div class="title-dashboard">
        <h1>List of Users</h1>
        <h2>Click on a user's name to read and edit their profile. Click the checkboxes to select multiple users and delete them.</h2>
    </div>

    <div class="panel-dashboard">
        <input #searchUser type="text" 
            name="search-user" <commit_msg>Minor edit<commit_after><div class="content-dashboard">
    <div class="title-dashboard">
        <h1>List of Users</h1>
        <h2>Click on a user's name to read and edit their profile. <br>
            Click the checkboxes to select multiple users and delete them.<br>
            You can also search for a user. Empty the box and press Enter to view the complete list again.</h2>
    </div>

    <div class="panel-dashboard">
        <input #searchUser type="text"
            name="search-user" 
{'fraction_non_alphanumeric': 0.11187214611872145, 'fraction_numerical': 0.0091324200913242, 'mean_word_length': 2.7319148936170214, 'pattern_counts': {'":': 0, '<': 23, '<?xml version=': 0, '>': 21, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3102120', 'n_tokens_mistral': 252, 'n_tokens_neox': 251, 'n_words': 91}