Following-up with #332472 (comment 603060364), this index isn't needed anymore and we should drop it.