Alternatively, they're visible on the public-inbox, and can be fetched
from my clone on git.sr.ht:

https://git.sr.ht/~arsen/gcc/log/texinfo_improvements
https://git.sr.ht/~arsen/gcc/commit/7ff7376a83cedfc43ba042ebf82cae106f516e11
https://git.sr.ht/~arsen/gcc/commit/76d9d48fb924f0a575bc46290bf8b3a9329afd28

Apologies for the inconvenience.
-- 
Arsen Arsenović