Ok, that's clearer. I commented out the line "#PREFIX3=$" and that gives me the
desired effect. The '$' is a required part of php variable names and this makes
cutting-n-pasting, and therefore life, easier.
Some syntax hilighting is lost, but that's less of a concern.