Revert "R17"

Reverts tigertext/covertool#1