Hi Gavin,
https://lists.gnu.org/archive/html/bug-texinfo/2022-05/msg00000.html
I wrote at the time (in a private email):
> Yes, I am still opposed. I believe it is wrong to include it in the
> distribution as it can delete or overwrite files from the distribution,
> with no way to get them back, unlike Makefile rules (e.g. "make
distclean").
Thanks much. That is convincing to me. I'll plan to remove bootstrap
from EXTRA_DIST for the next release, barring opposite arguments ... -k
