remove name features of anchor elements in 2020/ferguson1/bugs.html

2020/ferguson1/bugs.html

@@ -134,8 +134,9 @@
 <!-- START: this line starts content for HTML phase 21 by: bin/pandoc-wrapper.sh via bin/md2html.sh -->
 
 <!-- BEFORE: 1st line of markdown file: 2020/ferguson1/bugs.md -->
-<p>Current bugs and things that look like bugs but are not, as of 12 September 2020.</p>
-<p><a name="toc"></a></p>
+<h1 id="current-bugs-and-things-that-look-like-bugs-but-are-not">Current bugs and things that look like bugs but are not</h1>
+<p>.. as of 12 September 2020.</p>
+<div id="toc">
 <ul>
 <li><a href="#builtin-test-unit">Built-in test unit for some features!</a></li>
 <li><a href="#stillsnake">The snake doesn’t seem to be moving</a></li>
@@ -146,7 +147,10 @@
 <li><a href="#buginsnake">It looks like the bug is in the snake</a></li>
 <li><a href="#bugplacement">On the safety of the bug placement loop</a></li>
 </ul>
-<h1 id="built-in-test-unit-for-some-features"><a name="builtin-test-unit" href="#toc">Built-in test unit for some features!</a></h1>
+</div>
+<div id="builtin-test-unit">
+<h1 id="built-in-test-unit-for-some-features"><a href="#toc">Built-in test unit for some features!</a></h1>
+</div>
 <p>Fun fact: There’s something of a built-in test unit for some features; much
 like some of the other features this was not intentionally designed but is
 simply a fun consequence of the features I did implement.</p>