I sent a bug report to to [email protected] at Fri 2018-12-21 15:43 PST. The archive is supposed to update every 30 minutes, but an hour later my message hasn't shown up on http://lists.gnu.org/archive/html/bug-texinfo/2018-12/index.html
Not a huge deal, but someone might want to look into it.
