Revert "Delete proov.txt"

This reverts commit 20d49d0444dc4e229162bdefa77041ddcb65de52.