modified:   testing/backendtests.tex
renamed:    testing/coverage.JPG -> testing/coverage.jpg