Bio OpenLabs / Miniproteins can distinguish mature SUMO2 from SUMO3 (≥20×) in a conjugation-compatible mode