This port will be removed on 2020-12-31 if not fixed
Nothing depends on this and misc/py-progressbar is newer, this should go.
This port expired today, so removed.