I disagree mate,
All bolts stretch, not all bolts are designed to stretch.
Stretch bolts are torqued to a point where a certain part of the bolt experiences plastic deformation. In essence the bolt is always stretched when installed and torqued properly.
A normal high tensile bolt, can and does stretch BUT it isn't in a plastic state deliberately.
Rob,