Last modified: 2012-10-01 18:49:41 UTC
From user request. "Big Red Button" requested, but we might want to consider within a wider design discussion. :-)
Various changes have been made in Ib1711f49af8929be12796aecdea49467b726856e which address this issue.