Ignore this dir as (a) it has https externals which don't work for anon (http) access, and (b) it's huge and messes with people doing regular checkouts. (trying again)