OctConf TODO

• Rename core dump to workspace save
• Enable warnings locally?
• More demos in documentation (code sprint?)
• More help on readline
• Storage of debug control in the terminal (anything to do there or just use history_control)? GUI doesn't store them.