chiark / gitweb /
README: fix name on CI badges