No spell checking for Metamath except in comments

Authored by aaronpuchert on Oct 20 2018, 4:53 PM.