Mistä toisen nimen kirjoitusasu Mikinpoika tulee, kun muutoin lähiomaisissa on käytetty Mikonpoika- nimitystä?