ports/contrib (3.6): [notify] python3-sphinxcontrib-htmlhelp: upstream file from github is at the wrong version, remove source file and redownload