> wrote in message
...
> Cranberry beans may be caled borlotti in Italy or October beans in the US.

Yes. Beans often go by different names.