chore: drop the fork's branch log from the pull request

PROGRESS.md is the working log of the fork this branch was developed on. It is not
part of the change and does not belong upstream; the reasoning it holds is in the
commit messages.

Author: distronode-com