Doesn't handle international characters in scrap names. From nuweb's point of view, they're OK in LaTeX and code, but LaTeX may have problems.
Unlikely to get fixed.
