On Friday, September 21, 2012 10:44:29 PM Neil Jerram wrote: > > The attached patch implements this. Radek, would you mind adding this > > to your github repository for sgt-puzzles, and regenerating the package? > > > > Thanks, > > > > Neil > > D'oh! - and here's the patch... Done, patched and rebuilt package. Thanks Radek