Remove obsolete command-line option.
Remove obsolete command-line option.

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