Is there a reason we don't create etags for toplevel include files? If not, could I please apply this patch? Thanks. Aldy