This is important since these are the docs used on readthedocs.org See #2071 for a thing causing recent failures
