House keeping

Minor housekeeping things.

We should probably remove misc.xml from git and maybe others.