Just delete it if we don't need it anymore - unless this is useful to keep around for debugging...