           </td>
            <td id="proofsactions"
                data-intro="<strong>Open</strong> proofs, <strong>download lemmas</strong> (includes a lemma combining a model and a finished proof in a trusted certificate), <strong>download archives</strong> (.kyx, includes a model and a specific finished or partial proof), or <strong>delete</strong> proofs."
                data-position="bottom"
                ng-if="$first" ng-include="'proofactions.html'">
            </td>
            <td ng-if="!$