This seems to be the "brown Brazilian bean" that many Brazilians eat every day.
Edit: after buying it, not 100% sure. This one felt smaller than what Ciro had in Brazil, borlotti beans might be closer. Pinto beans are smaller, and creamier, and have softer peel, possibly produced less natural gas.
2021-04: second try.
2021-03: did for first time, started with same procedure as borlotti beans 2021-03. Maybe 1h30 is too much. Outcome was still very good.