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