Add the various generated proxy HTML files to the ignore list.