update html file ot most recent (~final?) version