Kindly ask bug reports to be submitted via GitHub.