FWIW, I delete those comments. More than one posted results in the issue being locked (possibly temporarily). I'm willing to be a jerk so that my fellow maintai

FWIW, I delete those comments. More than one posted results in the issue being locked (possibly temporarily). I'm willing to be a jerk so that my fellow maintainers can focus on the work they want to work on. Anyone who asks for an update can produce one themselves: by creating a PR :)