[mdaniel]

Up to you, but they had GitHub issues turned on for the distribution repo so you can file an issue there, which allows others to see when it's fixed and whether it affects them, too