How far back do popular shortened nicknames like Joe / Mike / Jim go? Were there shortened nicknames for other first names that fell out of use in past centuries?