Update portgen.html