On Sun, Mar 28, 2021, 11:30 PM Daniel Shahaf <d.s@daniel.shahaf.name> wrote:

That does bring up the point of what to do with threads that peter out
without a review.  I suggest that they be added to Etc/BUGS.  WDYT?

Only if they actually are threads about bug fixes.  Proposed new features or completion improvements, just as examples, don't belong in the BUGS file.