Date: Thursday, October 29, 2020 @ 11:59:27 Author: eschwartz Revision: 736499 rm python-sphinxcontrib-websupport as it's no longer used It used to be used by python2-sphinx, but not the python3 build Deleted: python-sphinxcontrib-websupport/