chore(publications/index): removed unused file and folder
chore(publications/index): removed unused file and folder

avigad/leanprover.github.io,avigad/leanprover.github.io,avigad/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io