Scripts, various notes, etc.
Mirror only. Official repository is at https://git.glasklar.is/sigsum/admin/admin/