commands_change_delay within main actor -- prevents overloading of commands_change_buffer input channel;
commands_change_delay within main actor -- prevents overloading of commands_change_buffer input channel;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle