Oko izdavanja Mikaljina rječnika - Jernej, Josip