One said it would be better to add a separator between the pause and stop buttons on the workers' panel because one could stop a plugin instead of pausing it.