* set file extension to .zip when needed * Apply prettier formatting Co-authored-by: grimhilt <grimhilt@users.noreply.github.com>
* set file extension to .zip when needed * Apply prettier formatting Co-authored-by: grimhilt <grimhilt@users.noreply.github.com>