This file can be safely removed - it's extremely trivial.