Remove now redundant line from index.md#12

fingolfin merged 1 commit intosourceJuliaDocs/juliadocs.github.io:sourcefrom

mh/rm-lineJuliaDocs/juliadocs.github.io:mh/rm-lineCopy head branch name to clipboard