I've just had a lightbulb moment (at least I think I have!). I never knew until about 2 minutes ago that Jimmy is a diminutive for Jeremy. I thought it was short for James. Or maybe it's for both?