/span><span style="color: #000000;">)</span>                         <span style="color: #434f54;">// If there's a compressed version available</span>
      <span style="color: #000000;">path</span> <span style="color: #434f54;">+=</span> <span style="color: #005c5f;">".gz"</span><span style="color: #000000;">;</span>                                         <span style="color: #434f54;">// Use the compressed verion</span>
    <span style="color: #d35400;">File</span> <span style="color: #000000;">file</span