I guess you were right, they have just now filed the issues on GitHub. It is now live on the issue tracker.