[m-rev.] for review: fix the documentation of sorted_list_to_set for bitsets

[Julien Fischer]

On Mon, 23 Jan 2023, Zoltan Somogyi wrote:

> For review by anyone.
>
> Once we have agreed on a wording, I will copy it
> to the same operation in the other bitset modules.

That looks fine.

Julien.