It is getting increasingly difficult to browse the project issues on GitHub. At the moment there are more than 1500 open issues, many of which are resolved or invalid, but not closed. Is there a reason these are being kept open? I'm guessing the core dev team is not using GitHub as their primary ticketing system?

Cheers,
bmorg