3/16" = 4.76mm, which is a bit more than the 1/8" or 3.5mm I suggested, but not far off, and supports my theory. Would like to see anything that really investigates this aspect if you can dig it up, Bugbear.
Your implication is that it is NOT a co-incidence, & I'm inclined to agree - there...