Closed
Description
With #284, there is a naming conflict between the kontrol summary command and the --include-summary option for kontrol prove as the summary keyword is used in different contexts.
After discussing with @ehildenb and @palinatolmach, we should continue using summary for the context of CSE.