Информация о пользователе в логе

Сейчас если в лог падает ошибка обрабатываемая DefaultExceptionHandler, то в лог не пишется логин юзера у которого ошибка упала:

2024-02-08 10:48:48.241 ERROR 1 --- [http-nio-8080-exec-8] i.j.u.exception.DefaultExceptionHandler : Unhandled exception

нашел эту issue

по примеру добавил logback.xml

<appender name="Console" class="ch.qos.logback.core.ConsoleAppender">
        <encoder>
            <pattern>%d{ISO8601} %-5level [%t] [%X{jmixUser}] %C{1.}: %msg%n%throwable</pattern>
        </encoder>
    </appender>

    <root level="info">
        <appender-ref ref="Console" />
    </root>

Теперь лог пишется с логином юзера:
2024-02-12 14:30:37,707 ERROR [http-nio-8080-exec-8] [yarik2308] io.jmix.ui.exception.DefaultExceptionHandler: Unhandled exception

Так и должно быть? То есть, чтобы разработчики сами настраивали logback, если свойство jmixUser добавляется самой платформой, то почему в ней самой не настроен logback на вывод логина юзера? Мб добавить в документацию инфу об этом, если так и надо?

jmix версии 1.5.4

Спасибо что напомнили, добавим в документацию.