(*) docs for lcfgdiff