docs/index.html should not be in the repo.
docs/index.html should not be in the repo.

Removes docs/index.html, which is a generated file.

freedesktop-unofficial-mirror/ohm,freedesktop-unofficial-mirror/ohm