Remove an old doc left from merge
Remove an old doc left from merge


Former-commit-id: defcc6bb5cd25fcce2a8702af302f3aca4cc9e05 [formerly 1b71b2aafb560097e76b518d6b97a8e81a9440b5]
Former-commit-id: 988be5f884965399ebf730ce9e79794c9ab67b0e
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine