Hey, I am Nok, one of the maintainers of Kedro. Nice to see you on Discord and thanks for raising that PR!