According to technical support, the correct syntax to filter by user attributes is user:username:ausername(the documentation is currently erroneous in indicating a dotted syntax of user.username:aname).
Also, apparently, only user attributes defined in the documentation are indexed, and not custom attributes. Those have to be normal tags to be indexed.