Adjust the default list of allowed download file types (see #5515)