Follow-up to commit 85948: Make an index out of (repo_id, directory).

Not being able to make it unique does not mean we can't index it for
(hopefully) better performance.

Awesome, that's three negations in one sentence ;)

Let me be bold and assume nobody has done the upgrade from three days ago
yet, so it goes as addendum to the first update.