PRG and better HTML