add missing keywords, remove deprecated ones
add missing keywords, remove deprecated ones

leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace