Certified archive software: audit-proof, favourable and slim!