The source project of this merge request has been removed.
Remove index entries and page
Currently our index page is quite big and not that useful. Given that using search is more efficient for both web version and PDF I think it is better to remove it.
One advantage of this deprecation is that documentation writers do not have to create entries and learn its strange syntax. The disadvantage is that a printed copy will be more difficult to search through.
cc: @utkarsh.ayachit