Hello,
It seems, that the RLS description supposes that the users table
contains the field "user", but it's a reserved keyword.
Patch attached. (The replacement "user_name" selected as corresponding
to the following examples).
Best regards,
Alexander