This file can be deleted.
