Pressure tuning of high‐power laser diodes in the 720–1540 nm range. Issue 4 (2nd April 2013)