<commit_before><div class="salvus-tasks-templates hide">

    <div class="salvus-tasks-editor" >
        <div class="row" style="margin-left:1em;margin-right:1em;">

            <div class="row-fluid" style="width:98%; padding-bottom: .5ex; padding-top:.5ex;">
                <div class="span10">
                    <div class="well salvus-tasks-hashtags">
                        <span class='btn-group salvus-tasks-hashtag-bar'  style="white-space: normal">
                        </span>
                    </div>
                </div>
                <div class="span2 lighten">
                    <i class="fa fa-square-o salvus-task-icon-done-box salvus-task-search-done-icon salvus-task-search-not-done"> </i>
                    <i class="fa fa-check-square-o salvus-task-icon-done-box salvus-task-search-done-icon salvus-task-search-done hide"> </i>
                    Done&nbsp;&nbsp;&nbsp;
                    <i class="fa fa-square-o salvus-task-icon-done-box salvus-task-search-deleted-icon salvus-task-search-not-deleted"> </i>
                    <i class="fa fa-check-square-o salvus-task-icon-done-box salvus-task-search-deleted-icon salvus-task-search-deleted hide"> </i>
                    Deleted<br>
                    <a class='btn btn-danger salvus-task-empty-trash'><i class="fa fa-trash-o"> </i> Empty Trash</a>
                </div>
            </div>

            <div class="row-fluid"  style="width:98%;">
                <div class="span5 lighten salvus-tasks-header">
                    <input class="salvus-tasks-search search-query" style="width:88%" type="search" placeholder="Search...">
                    <i class="salvus-tasks-search-clear lighten fa fa-times-circle" style="cursor:pointer; margin-left: -2em;"></i>
                </div>
                <div class="span7 lighten salvus-tasks-search-describe">
                    Showing <span class="salvus-tasks-count">0 tasks</span>.
                    <h4 class="salvus-tasks-loading">Loading task list... <i class="fa fa-spin fa-spinner"> </i></h4>
                    <span class="salvus-tasks-search-contain hide">Only showing tasks that contain <b><i><span class="salvus-tasks-search-query"></span></i></b>. </span>
                    <span class="salvus-tasks-search-showing-deleted hide">Showing <b><i>deleted tasks</i></b>. </span>
                    <span class="salvus-tasks-search-showing-done hide">Showing <b><i>completed tasks</i></b>.</span>
                </div>
            </div>

            <div class="row-fluid salvus-tasks-list-heading "  style="width:98%">
                <div class="span6">
                    <span class="btn-group salvus-tasks-action-buttons">
                        <a class="btn" href="#create-task"><i class="fa fa-plus-circle"> </i> New</a>
                        <a class="btn salvus-tasks-buttons-pos-move" href="#move-task-to-top"><i class="fa fa-hand-o-up"> </i>  </a>
                        <a class="btn salvus-tasks-buttons-pos-move" href="#move-task-to-bottom"><i class="fa fa-hand-o-down"> </i>  </a>
                        <a class="btn btn-danger" href="#delete-task"><i class="fa fa-trash-o"> </i> </a>
                    </span>
                    <span class="btn-group">
                        <a class="btn btn-success disabled" href="#save"><i class="fa fa-save"> </i> Save</a>
                        <a class='btn btn-info salvus-tasks-info'><i class="fa fa-question-circle"> </i> Help</a>
                    </span>
                </div>

                <div class="span2 lighten salvus-tasks-header  salvus-task-sort-custom">
                    Custom Order
                    <i class="fa fa-sort-desc pull-right hide salvus-task-sort-icon"> </i><i class="fa fa-sort-asc pull-right hide  salvus-task-sort-icon"> </i>
                </div>
                <div class="span2 lighten salvus-tasks-header  salvus-task-sort-due">
                    Due <span class="salvus-tasks-show-done hide"> / Done</span>
                    <i class="fa fa-sort-desc pull-right hide  salvus-task-sort-icon"> </i><i class="fa fa-sort-asc pull-right hide  salvus-task-sort-icon"> </i>
                </div>
                <div class="span2 lighten salvus-tasks-header  salvus-task-sort-last-edited">
                    Changed <i class="fa fa-sort-desc pull-right hide  salvus-task-sort-icon"> </i><i class="fa fa-sort-asc pull-right hide  salvus-task-sort-icon"> </i>
                </div>

            </div>


            <div class="well salvus-tasks-list">
                <div class="salvus-tasks-listing">
                </div>
                <div style="height:5em"></div>
            </div>
        </div>
    </div>

    <div class="row-fluid salvus-task">
        <div class="span1">
            <span class="salvus-task-toggle-icons">
                <i class="fa fa-caret-right salvus-task-toggle-icon pull-right hide"> </i>
                <i class="fa fa-caret-down salvus-task-toggle-icon pull-right"> </i>
            </span>
            <i class="fa fa-reorder salvus-task-reorder-handle"> </i>
            <i class="fa fa-check-square-o salvus-task-viewer-done  salvus-task-icon-done-box hide"> </i>
            <i class="fa fa-square-o salvus-task-viewer-not-done salvus-task-icon-done-box"> </i>
            <a class='btn btn-danger btn-small salvus-task-undelete hide'>Undelete</a>
        </div>
        <div class="span7 salvus-tasks-desc-column">
            <div class="salvus-task-desc"></div>
        </div>

        <div class="span2 salvus-task-due-div">
            <span class="salvus-task-due">none</span>
            <i class="fa fa-times salvus-task-icon salvus-task-due-clear hide"> </i>
            <span class="salvus-task-done hide"><br>completed <span></span></span>
        </div>
        <div class="span2">
            <span class="salvus-task-last-edited"></span>
        </div>

    </div>

    <div class="salvus-task-editor">

        <div class="salvus-tasks-desc-edit">
            <textarea></textarea>
            <div class="row-fluid">
                <div class="span6">
                    <a class="btn" style="margin-bottom:1ex" href="#close"  data-toggle="tooltip" data-placement="bottom" title="or press shift+enter">Close</a>
                </div>
                <!--<div class="span8">
<span style="color:#999">Use <a href="https://help.github.com/articles/github-flavored-markdown" target="_blank">Github style markdown</a>, LaTeX, <tt>#tag</tt> to create hashtag labels, and [ ] and [x] to create checklists, then press shift+enter.</span>
</div>
-->
            </div>
        </div>

        <div class="input-append salvus-tasks-due-edit pull-right">
            <input data-format="MM/dd/yyyy HH:mm:ss PP" type="text" value=''>
            <span class="add-on" style="cursor:pointer">
                <i class='fa fa-calendar-o'>
                </i>
            </span>
        </div>
    </div>

    <button class="btn btn-info btn-small salvus-tasks-hashtag-button"></button>

    <div class="modal salvus-tasks-help-dialog"  data-backdrop="static"  tabindex="-1" role="dialog" aria-hidden="true">
        <div class="modal-header">
            <button type="button" class="close btn-close">
                <span style="font-size:20pt;">×</span>
            </button>
            <h3><i class="fa fa-question-circle"> </i>  Task Lists</h3>
        </div>
        <div class="modal-body">
            Use task lists to help organize your work on a SageMathCloud project.

            <h4>Editing</h4>
            Click or use the cursor keys (and press enter) to edit a task, or create a new task.
            Use <a href="https://help.github.com/articles/github-flavored-markdown" target="_blank">Github style markdown</a>
            to describe your task, use LaTeX to enter mathematics, use <code>[ ]</code> and <code>[x]</code> to create checklists, and
            press shift+enter to save your changes.
            The editor respects the color scheme and keybindings that you
            select in account settings, and
            external links open in another browser tab.
            You can toggle showing the full description or only everything up to the first blank line.

            <h4>Time</h4>
            Each task has an optional due date and time, which you can set by clicking on the due date
            (or none).  You can see when the task is due, when you last edited it, and
            click either column to sort.    View finished tasks by selecting the done box at the top to
            see when tasks were completed.

            <h4>Hashtags</h4>
            Put <span class="salvus-tasks-hash"><tt>#tag</tt></span> anywhere in the description of a task to create a hashtag, with
            <i>no space</i> between the hash symbol and the tag identifier.  A hashtag button
            will appear at the top of the screen. Click
            on the hashtag in  a task to toggle showing only tasks with that hashtag.

            <h4>Search</h4>
            Enter terms in the search box in the upper left to show only tasks containing
            all search terms.

            <h4>Order</h4>
            If you select the custom order column, then tasks will shown sorted by the order you manually specify.
            The order column has buttons to indicate the task that you are currently working on and to delete a task.

            <h4>Keyboard shortcuts</h4>
            Let mod be any of control, alt, or command.
            Use mod+s to save, mod+f to find, mod+n to make a new task, mod+space to toggle done state, and mod+arrow to move a task up or down the list.
            Use arrows to change which task is selected, enter to start editing a task description, and shift+enter to stop editing.

            <h4>File format</h4>
            A task list is stored as a file with extension <tt>.tasks</tt> that contains one JSON line per task.
            You can directly edit this file with other tools (e.g., vim on the command line)
            and changes should appear in the task list within a few seconds.  You can
            have many task lists, store them in revision control, create and modify
            them using scripts, recover them from snapshots, etc.


        </div>
        <div class="modal-footer">
            <button class="btn btn-close">Close</button>
        </div>
    </div>

</div>

<commit_msg>tasks: fix some html issues<commit_after><div class="salvus-tasks-templates hide">

    <div class="salvus-tasks-editor" >
        <div class="row" style="margin-left:1em;margin-right:1em;">

            <div class="row-fluid" style="width:98%; padding-bottom: .5ex; padding-top:.5ex;">
                <div class="span10">
                    <div class="well salvus-tasks-hashtags">
                        <span class='btn-group salvus-tasks-hashtag-bar'  style="white-space: normal">
                        </span>
                    </div>
                </div>
                <div class="span2 lighten">
                    <i class="fa fa-square-o salvus-task-icon-done-box salvus-task-search-done-icon salvus-task-search-not-done"> </i>
                    <i class="fa fa-check-square-o salvus-task-icon-done-box salvus-task-search-done-icon salvus-task-search-done hide"> </i>
                    Done&nbsp;&nbsp;&nbsp;
                    <i class="fa fa-square-o salvus-task-icon-done-box salvus-task-search-deleted-icon salvus-task-search-not-deleted"> </i>
                    <i class="fa fa-check-square-o salvus-task-icon-done-box salvus-task-search-deleted-icon salvus-task-search-deleted hide"> </i>
                    Deleted<br>
                    <a class='btn btn-danger salvus-task-empty-trash'><i class="fa fa-trash-o"> </i> Empty Trash</a>
                </div>
            </div>

            <div class="row-fluid"  style="width:98%;">
                <div class="span5 lighten salvus-tasks-header">
                    <input class="salvus-tasks-search search-query" style="width:88%" type="search" placeholder="Search...">
                    <i class="salvus-tasks-search-clear lighten fa fa-times-circle" style="cursor:pointer; margin-left: -2em;"></i>
                </div>
                <div class="span7 lighten salvus-tasks-search-describe">
                    Showing <span class="salvus-tasks-count">0 tasks</span>.
                    <h4 class="salvus-tasks-loading">Loading task list... <i class="fa fa-spin fa-spinner"> </i></h4>
                    <span class="salvus-tasks-search-contain hide">Only showing tasks that contain <b><i><span class="salvus-tasks-search-query"></span></i></b>. </span>
                    <span class="salvus-tasks-search-showing-deleted hide">Showing <b><i>deleted tasks</i></b>. </span>
                    <span class="salvus-tasks-search-showing-done hide">Showing <b><i>completed tasks</i></b>.</span>
                </div>
            </div>

            <div class="row-fluid salvus-tasks-list-heading "  style="width:98%">
                <div class="span6">
                    <span class="btn-group salvus-tasks-action-buttons">
                        <a class="btn" href="#create-task"><i class="fa fa-plus-circle"> </i> New</a>
                        <a class="btn salvus-tasks-buttons-pos-move" href="#move-task-to-top"><i class="fa fa-hand-o-up"> </i>  </a>
                        <a class="btn salvus-tasks-buttons-pos-move" href="#move-task-to-bottom"><i class="fa fa-hand-o-down"> </i>  </a>
                        <a class="btn btn-danger" href="#delete-task"><i class="fa fa-trash-o"> </i> </a>
                    </span>
                    <span class="btn-group">
                        <a class="btn btn-success disabled" href="#save"><i class="fa fa-save"> </i> <span>Save</span></a>
                        <a class='btn btn-info salvus-tasks-info'><i class="fa fa-question-circle"> </i> Help</a>
                    </span>
                </div>

                <div class="span2 lighten salvus-tasks-header  salvus-task-sort-custom">
                    Custom Order
                    <i class="fa fa-sort-desc pull-right hide salvus-task-sort-icon"> </i><i class="fa fa-sort-asc pull-right hide  salvus-task-sort-icon"> </i>
                </div>
                <div class="span2 lighten salvus-tasks-header  salvus-task-sort-due">
                    Due <span class="salvus-tasks-show-done hide"> / Done</span>
                    <i class="fa fa-sort-desc pull-right hide  salvus-task-sort-icon"> </i><i class="fa fa-sort-asc pull-right hide  salvus-task-sort-icon"> </i>
                </div>
                <div class="span2 lighten salvus-tasks-header  salvus-task-sort-last-edited">
                    Changed <i class="fa fa-sort-desc pull-right hide  salvus-task-sort-icon"> </i><i class="fa fa-sort-asc pull-right hide  salvus-task-sort-icon"> </i>
                </div>

            </div>


            <div class="well salvus-tasks-list">
                <div class="salvus-tasks-listing">
                </div>
                <div style="height:5em"></div>
            </div>
        </div>
    </div>

    <div class="row-fluid salvus-task">
        <div class="span1">
            <span class="salvus-task-toggle-icons">
                <i class="fa fa-caret-right salvus-task-toggle-icon pull-right hide"> </i>
                <i class="fa fa-caret-down salvus-task-toggle-icon pull-right"> </i>
            </span>
            <i class="fa fa-reorder salvus-task-reorder-handle"> </i>
            <i class="fa fa-check-square-o salvus-task-viewer-done  salvus-task-icon-done-box hide"> </i>
            <i class="fa fa-square-o salvus-task-viewer-not-done salvus-task-icon-done-box"> </i>
            <a class='btn btn-danger btn-small salvus-task-undelete hide'>Undelete</a>
        </div>
        <div class="span7 salvus-tasks-desc-column">
            <div class="salvus-task-desc"></div>
        </div>

        <div class="span2 salvus-task-due-div">
            <span class="salvus-task-due">none</span>
            <i class="fa fa-times salvus-task-icon salvus-task-due-clear hide"> </i>
            <span class="salvus-task-done hide"><br>completed <span></span></span>
        </div>
        <div class="span2">
            <span class="salvus-task-last-edited"></span>
        </div>

    </div>

    <div class="salvus-task-editor">

        <div class="salvus-tasks-desc-edit">
            <textarea></textarea>
            <div class="row-fluid">
                <div class="span6">
                    <a class="btn" style="margin-bottom:1ex" href="#close"  data-toggle="tooltip" data-placement="bottom" title="or press shift+enter">Close</a>
                </div>
                <!--<div class="span8">
<span style="color:#999">Use <a href="https://help.github.com/articles/github-flavored-markdown" target="_blank">Github style markdown</a>, LaTeX, <tt>#tag</tt> to create hashtag labels, and [ ] and [x] to create checklists, then press shift+enter.</span>
</div>
-->
            </div>
        </div>

        <div class="input-append salvus-tasks-due-edit pull-right">
            <input data-format="MM/dd/yyyy HH:mm:ss PP" type="text" value=''>
            <span class="add-on" style="cursor:pointer">
                <i class='fa fa-calendar-o'>
                </i>
            </span>
        </div>
    </div>

    <button class="btn btn-info btn-small salvus-tasks-hashtag-button"></button>

    <div class="modal salvus-tasks-help-dialog"  data-backdrop="static"  tabindex="-1" role="dialog" aria-hidden="true">
        <div class="modal-header">
            <button type="button" class="close btn-close">
                <span style="font-size:20pt;">×</span>
            </button>
            <h3><i class="fa fa-question-circle"> </i>  Task Lists</h3>
        </div>
        <div class="modal-body">
            Use task lists to help organize your work on a SageMathCloud project.

            <h4>Editing</h4>
            Click or use the cursor keys (and press enter) to edit a task, or create a new task.
            Use <a href="https://help.github.com/articles/github-flavored-markdown" target="_blank">Github style markdown</a>
            to describe your task, use LaTeX to enter mathematics, use <code>[ ]</code> and <code>[x]</code> to create checklists, and
            press shift+enter to save your changes.
            The editor respects the color scheme and keybindings that you
            select in account settings, and
            external links open in another browser tab.
            You can toggle showing the full description or only everything up to the first blank line.

            <h4>Time</h4>
            Each task has an optional due date and time, which you can set by clicking on the due date
            (or none).  You can see when the task is due, when you last edited it, and
            click either column to sort.    View finished tasks by selecting the done box at the top to
            see when tasks were completed.

            <h4>Hashtags</h4>
            Put <span class="salvus-tasks-hash"><tt>#tag</tt></span> anywhere in the description of a task to create a hashtag, with
            <i>no space</i> between the hash symbol and the tag identifier.  A hashtag button
            will appear at the top of the screen. Click
            on the hashtag in  a task to toggle showing only tasks with that hashtag.

            <h4>Search</h4>
            Enter terms in the search box in the upper left to show only tasks containing
            all search terms.

            <h4>Order</h4>
            If you select the custom order column, then tasks will shown sorted by the order you manually specify.
            The order column has buttons to indicate the task that you are currently working on and to delete a task.

            <h4>Keyboard shortcuts</h4>
            Let mod be any of control, alt, or command.
            Use mod+s to save, mod+f to find, mod+n to make a new task, mod+space to toggle done state, and mod+arrow to move a task up or down the list.
            Use arrows to change which task is selected, enter to start editing a task description,
            and shift+enter to stop editing.

            <h4>File format</h4>
            A task list is stored as a file with extension <tt>.tasks</tt> that contains one JSON line per task.
            You can directly edit this file with other tools (e.g., vim on the command line)
            and changes should appear in the task list within a few seconds.  You can
            have many task lists, store them in revision control, create and modify
            them using scripts, recover them from snapshots, etc.

        </div>
        <div class="modal-footer">
            <button class="btn btn-close">Close</button>
        </div>
    </div>

</div>


{'fraction_non_alphanumeric': 0.13805970149253732, 'fraction_numerical': 0.005262150784538845, 'mean_word_length': 1.9597904573127567, 'pattern_counts': {'":': 0, '<': 475, '<?xml version=': 0, '>': 475, 'https://': 4, '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': '5794591', 'n_tokens_mistral': 6298, 'n_tokens_neox': 6047, 'n_words': 1704}