closes #788
This is a non-functional commit that moves an unchanged file with the hope github notices this is a file move and keeps nice history, rather than a new file once I change it later.