P5 web editor repo, some issues unnecessarily still open

p5.js
1

I think many issues on p5 web editor github repo are still open unnecessarily, here is an example of such an issue

Can something be done to fix this problem, I hope I am not missing something important here …