We've been getting a bunch of comments on old closed issues. Instead people should create new ones. This adds a github "workflow" that should lock closed issues/prs after 90 days, except those labelled "question". Let's see how it works out.
