That’s nice to hear. I’ve pushed the change into main repo now as well: so hoping people will not stumble on anymore.