  <div class="spinner-please-wait">Deleting database entries, please wait...</div>
    </spinner>
    <!-- Default panel contents -->
    <div class="panel-heading">
        <div class="row">
            <div class="col-md-2"><b>Models</b></div>
            <div class="col-md-10">
                <span class="pull-right" id="modelarchiving"
                      data-intro="<strong>Export</strong> all models and proofs into a single .kyx archive."
                      data-position="left">
                