Я был очень занят, а так как я в лучшем случае любитель-самоучка, мне бы это заняло вечность. Да и потом я переключился на другие задачи…
Может быть, стоит сформулировать это в канале #feature или даже рассмотреть возможность оплаты работы разработчика для создания PR по этой задаче.