Re: [PATCH 0/2] publish HTML documentation on readthedocs.org