The outer diameter is about 0.162 inches (4.1 mm). This
dimension might be somewhat important, as the body of the
spring potentially drags on the front shift release ever.