There were several different spellings of MicroPython present in comments,
when there should be only one.