I realise this isn't technically to do with growing, but thought someone
might be able to help out. My cornichons (gherkins) are approaching full
size, and now I need to think about pickling them. I was wondering if anyone
had any good recipes/techniques for pickling, as the web doesn't really seem
very helpful on this front.

Thanks in advance.

Mike