Fix reading gzipped MGFs and mzMLs#8

Open

paretje wants to merge 3 commits intomainfrom

hotfix/fix-gzipped

Commits on Oct 30, 2025

use new generic reader to support gzipped files
paretje
committed

Commits on Nov 4, 2025