On Tue, 25 Aug 2026, Nick Smallbone wrote: > I can take it. I can also take (if they are still orphaned) cbmc, kissat, cryptominisat, and shotcut. Thanks! They're yours. Do you want me to update the .info files, or wait for your updates?