お使いのブラウザによっては、ダウンロード保存したファイル名に 「.html」という拡張子が追加されてしまう場合があります。ダウンロード保存したファイルを実行することができない、みつからない、などの場合はファイル名に 「.html」という拡張子が追加されていないかをご確認ください。