3 ms·

Given that your link says the show came out in 2021, and the GitHub repo is at least 3 years old, probably not.