Arash Esbati <arash@gnu.org> writes:

> I think I will wait another day or two if there are other comments and
> then install this version:

I installed the change (commit 03a5aac0d7) and therefore closing this
report.  Again, sorry it took so long.

Best, Arash