GproDIA enables data-independent acquisition glycoproteomics with comprehensive statistical control