Temporarily disable filetype alert because of problems in Chrome (see #7).