I could be wrong, but this does look like a mistake to me (although not one introduced in this pull request). The `sphinx` array seems to be the old-design counterpart of the `redesign-sphinx` array, such that `sphinx` is not needed if `redesign-sphinx` is included, but both are included in the `sphinx.html` template.