Might be a good idea to go to the PR and mention that. The stale bot has done its awful work… again.