change HTML strike to del

2020/carlini/index.html

@@ -171,7 +171,7 @@ loop. You would not think that this would amount to much, but you would be very,
 very wrong. A clue to what is happening and how this works is encoded in the
 ASCII art of the program source.</p>
 <h2 id="authors-remarks">Author’s remarks:</h2>
-<p>HOW ABOUT A NICE GAME OF <strike>CHESS</strike>TIC-TAC-TOE?</p>
+<p>HOW ABOUT A NICE GAME OF <del>CHESS</del>TIC-TAC-TOE?</p>
 <h3 id="usage">USAGE</h3>
 <pre><code>    cc -o prog prog.c
     ./prog</code></pre>
@@ -211,7 +211,7 @@ compilers unhappy, and others slow. (For example, passing GCC the flags <code>-W
 to be Turing complete. (See “Control-Flow Bending: On the Effectiveness of Control-Flow
 Integrity” where we introduced this in an actual, published, academic paper. The
 things you can get away with sometimes.)</p>
-<p>We <strike>ab</strike>use this fact to implement the logic of tic-tac-toe entirely within
+<p>We <del>ab</del>use this fact to implement the logic of tic-tac-toe entirely within
 this one <code>printf(3)</code> call (and a call to <code>scanf(3)</code> to read user input).</p>
 <p>Here’s (briefly) how it works.</p>
 <h4 id="preliminaries">Preliminaries</h4>