This can be enforced by pre-commit, but correct it separately to make it easier to review.
There were several different spellings of MicroPython present in comments, when there should be only one.
Addresses issue #1081.