There is also a 'Deselect all' button which I implemented provisionally by putting an extra function checknone() into javascript-static.js. This should be cleaned up by someone who knows javascript.
This will reduce the size of each page somewhat.
gustav_delius