Origin of the name Joãozinho

Portuguese diminutive of João.