Delete misc.xml

Necessarily different on everybody's machine.