PHP/HTML development with the nxhtml mode