Publishing to readthedocs.io (RTD) wasn't working, for various reasons. Changed to publish docs to S3.