Enable reasoning summaries by default#2576

chrarnoldus wants to merge 1 commit intomainKilo-Org/cloud:mainfrom

christiaan/summary-defaultKilo-Org/cloud:christiaan/summary-defaultCopy head branch name to clipboard