// Placeholder text so that nobody accidentally deletes this when deleting empty files.