On Mon, Apr 20, 2020 at 10:25:30PM -0400, Dale R. Worley wrote: > Is this the proper place to make suggestions for improving Bash?
Yes. It should also be noted that there is no public bug tracker, other than the archives of this mailing list. So, it can be difficult to tell which suggestions have already been made.
