To finish, stir the butter into the pot of beans. Scoop spoonfuls into bowls or plates, garnish with minced onion, cilantro, ...