Clarified warning about changed files (retract instead of restart). Partially addresses #4.
Clarified warning about changed files (retract instead of restart).
Partially addresses #4.

dominique-unruh/qrhl-tool