I think we should add both alternatives to group-dist and make them byDefault=False. Then later provide a simple solution to pick your choice. To make this stuff simpler, we really need to get the gtk interface to FSM done.