I suggested to keep the sphinx one, so that it's the same everywhere :)