Make ^NOTE in markdown/html files bold

2019/duble/README.md

@@ -82,7 +82,7 @@ will have to be killed from another shell session or by closing the terminal tab
 in the beginning this will also happen. This is discussed in
 [2019/duble in bugs.html](../../bugs.html#2019_duble).
 
-NOTE: this entry might leave sockets lying about in the current working
+**NOTE**: this entry might leave sockets lying about in the current working
 directory which you'll have to delete manually. This is also discussed in
 [2019/duble in bugs.html](../../bugs.html#2019_duble).
 

2019/duble/index.html

@@ -451,7 +451,7 @@ will have to be killed from another shell session or by closing the terminal tab
 (in other words don’t do this from the console!). If the file cannot be opened
 in the beginning this will also happen. This is discussed in
 <a href="../../bugs.html#2019_duble">2019/duble in bugs.html</a>.</p>
-<p>NOTE: this entry might leave sockets lying about in the current working
+<p><strong>NOTE</strong>: this entry might leave sockets lying about in the current working
 directory which you’ll have to delete manually. This is also discussed in
 <a href="../../bugs.html#2019_duble">2019/duble in bugs.html</a>.</p>
 <h2 id="alternate-code">Alternate code:</h2>