Haha, thanks @heroldius! Happy that you could learn this piece of maybe non-essential information on this platform the same way that I did on reddit, haha!