test commit following RENAME of the REPO from 'proof' to 'poq'