We don't want to maintain two files with the same content.