You can get more attention from the developers if you formally file an issue report on the GitHub repository