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.

>