In reply to tistimetogo:
I changed from Beal Cobra (8.6mm) to Beal Icelines (8.1mm) about ten years ago. The difference is way bigger than the nominal reduction in diameter would lead you to expect. A bit unnerving at first as they seem so much thinner, but you soon get used to it. Better handling and wear due to different sheath weave, and also allow you to go to smaller, lighter biners.
And as above, familiar and redundant. Those I've known going the tagline route have generally ended up clipping as a second leadline at some point; don't do this as cord is not dynamic. I too would choose a thicker mainline of going the lead and tag route.
Also worth looking at belay devices carefully for either option, you don't want to discover a lack of control on your first ab.