The Agda standard library: version 2.0 (Journal of Open Source Software, 2025)