Das weiß ich nicht, bin jetzt aber sicher, dass es ein GitHub-Issue werden sollte.