Rename usage.txt -> usage.tex in report sources.