Update and rename ok.txt to ok.html