What is the purpose of including the /misc/druplicon.eps.gz file in the distribution? The file is an archive and is not referenced anywhere in Drupal. Shouldn't this file be removed from the distribution and made available in a "media" area on the website if it is used?