Hello Brian,

No worries, thank you.  Pushed to master as
d78bc23411b1351ff9495a511c22b27d17f9226f.

Please, don't forget to CC *@debbugs.gnu.org ;-)

Regards,
Oleg.