What was "custom" about this file, and why is it OK to delete it?