fix(tool/tmthemes/Subatomic.tmTheme): fix typo
fix(tool/tmthemes/Subatomic.tmTheme): fix typo

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