[kkarakk]

this is also why github's enabling of deleting issues is a HUGE problem. naive devs tend to want to declutter a lot and what is easier to declutter than some closed github issues?