Re: [PATCH v2 1/2] doc: Drop a reference to travis