html fixed
opam repo added