We can just delete this file entirely now, right?