>ソースファイルを見ると、16行目の”<!--”に対応した”//-->”が見当たりません。
>これは省略可能ということでしょうか？
「//-->」がないのは、単純に付け忘れです。申し訳ありません。
ただ、これがなくても動くのは、「<!--」「//-->」の趣旨が、
・もともと<script>タグの中に「<!--」「-->」を書くのは、<script>タグに
対応していない古いブラウザで、JavaScriptが表示されてしまうことを
防ぐためのものである(古い対策なので、今こんなのを書く必要はないと思いますが)。
・このため、<script>タグ内の冒頭の「<!--」から改行までは無視されることになっている。
http://www.asahi-net.or.jp/~sd5a-ucd/rec-html401j/interact/scripts.html#h-18.2.1
| JavaScriptエンジンは、SCRIPT要素の始めに文字列「<!--」が存在することを
| 許容し、この場合当該行の末尾までの文字を無視する。
・このコメントを閉じる「-->」は、JavaScriptとして解釈されないように
「//-->」としてコメントアウトする。
というものであるためで、<script>タグに対応していない古いブラウザなら
「<!--」に対応する「-->」がないとコメントが閉じなくて困るでしょうが、
<script>タグに対応したブラウザなら、最初から「<!--」自体無視するので、
閉じてなくても問題にはなりません。
とはいえミスはミスなので、先ほどの件と併せ、正誤表に入れさせていただきます。