should I file github issues to track it?