High‐power HgGa2S4 optical parametric oscillator pumped at 1064 nm and operating at 100 Hz. Issue 4 (2nd April 2013)