idtoiso defined term rather than notation, eta expansion in definition of is_category
improve "make TAGS" command