--- a/website/src/hosting.html.luan	Wed Dec 28 19:37:48 2022 -0700
+++ b/website/src/hosting.html.luan	Thu Dec 29 12:46:36 2022 -0700
@@ -29,7 +29,7 @@
 	luan luan:http/serve.luan src
 </pre>
 
-<p>Run this script and go to <a href="http://localhost:8080/">http://localhost:8080/</a> in your browser.  You should see the empty <b>src</b> directory.  Now put some HTML file in <b>src</b>.  You should see it in the browser.  If you click on the HTML file, it should render.  If you want HTML for the home page, use <b>index.html</b>.  To use Luan to generate HTML, use whatever.html.luan as described the <a href="tutorial.html">Luan tutorial</a>.</p>
+<p>Run this script and go to <a href="http://localhost:8080/">http://localhost:8080/</a> in your browser.  You should see the empty <b>src</b> directory.  Now put some HTML files in <b>src</b>.  You should see them in the browser.  If you click on an HTML file, it should render.  If you want HTML for the home page, use <b>index.html</b>.  To use Luan to generate HTML, use whatever.html.luan as described the <a href="tutorial.html">Luan tutorial</a>.</p>
 
 <p>Suppose your domain is <b>www.whatever.com</b>.  Our web host is <b>s1.luan.software</b>.  So create a DNS CNAME record pointing <b>www.whatever.com</b> to <b>s1.luan.software</b>.  Now make a shell script in the working directory called <b>push.sh</b> containing:</p>
 <pre>