Just because a Github issue doesn't have activity doesn't mean it's not an issue anymore.