weird sphinx github interaction...