A github issue is fine.