Anders Johansen Grønningen

Kan Anders egentlig ha blitt døpt Jon? Han hadde en morfar og en oldefar som het Anders - og kanskje han ble kalt dette til tross for døpenavnet?
I flg. folketellingen i 1801 ble Anders født i 1773 og bodde på Grønningen (her skrevet «Grønning») med sin mor, stefar og søster Anne - samt 2 halvsøsken.
Folketelling 1801 for 1625P Stadsbygd prestegjeld, Rissa sogn: https://www.digitalarkivet.no/ft20090806360047

Men i 1773 fikk foreldrene på Grønningen en sønn som ble døpt «Jon» som jeg ikke finner annen informasjon om enn i kirkeboken.
Her er Jon døpt:
Kirkebok - dåp (nr. 54): https://www.digitalarkivet.no/kb20070905650374

Kirkebok - vielse (nr. 8): https://www.digitalarkivet.no/kb20070905660038