Add a "label" column to the roles assignment table to identify the user with the role #148

Closed essential-randomness closed 1 month ago