Oi Rafael,
Right, that’s the setting I was referring to above.
It actually is configurable. An administrator can easily rename the system user via the configuration interface. The question is whether there is internal code that still refers to that user by id as indicated earlier in this thread, or if this is now fixed and it’s fine to rename that user.