anchor.diff:                <dd><code><%= h(result.dry_with_coq_command) %></code></dd>
                 <dt>Return code</dt>
                 <dd><%= h(result.dry_with_coq_status) %></dd>
  -              <dt>Duration</dt>
  -              <dd><%= h(result.dry_with_coq_duration.to_i.duration) %></dd>
                 <% unless result.dry_with_coq_output.empty? %>
                 <dt>Output</dt>
                 <dd><pre><%= h(result.dry_with_coq_output) %></pre></dd>
  
positive.code:               <dd><code><%= h(result.uninstall_command) %></code></dd>
                <dt>Return code</dt>
                <dd><%= h(result.uninstall_status) %></dd>
                <dt>Duration</dt>
                <dd><%= h(result.uninstall_duration.to_i.duration) %></dd>
                <% unless result.uninstall_output.empty? %>
                <dt>Output</dt>
                <dd><pre><%= h(result.uninstall_output) %></pre></dd>
  
negative.code:               <dd><code><%= h(result.dry_without_coq_command) %></code></dd>
                <dt>Return code</dt>
                <dd><%= h(result.dry_without_coq_status) %></dd>
                <% unless result.dry_without_coq_output.empty? %>
                <dt>Output</dt>
                <dd><pre><%= h(result.dry_without_coq_output) %></pre></dd>
  