Commits: 5905a8d Improve check-versions script f3e749b Remove global File interface 44a936c 4.0.2 74006ed Fix JSR provenance ff4af5e 4.0.3 ce573e8 Update test badge 9a7161a Fix versions