Let the sysadmin add the favicon, using the most efficient way available for the server