Development of a high‐repetition‐rate mini‐TEA CO2 laser