There are currently 3588 issues in some open state, and zero closed/resolved issues. This seems dubious to me. Shouldn't issues be closed when the PR is merged? Have I made some mistake with my bugzilla query? -S.