@pixeltrix PR was merged! ;)