A local sailor made a 10 mm mainsail halyard. This is a bit too thick.

Anyone think 8mm is the magic thickness? I think 1/4" is a common main halyard thickness which is approximately 6.35 mm.