This tool should help us identify which are the symbols that still need proper names, and in which files they're located.
